HelenOS sources

config_t          101 kernel/generic/include/config.h extern config_t config;
config_t          113 kernel/generic/src/main/main.c config_t config = {
HelenOS homepage, sources at GitHub