HelenOS sources

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