HelenOS sources

KIO_PAGES          61 kernel/generic/src/console/console.c #define KIO_LENGTH   (KIO_PAGES * PAGE_SIZE / sizeof(char32_t))
KIO_PAGES         203 kernel/generic/src/console/console.c 	sysinfo_set_item_val("kio.pages", NULL, KIO_PAGES);