HelenOS sources

configure_via_default  467 kernel/arch/amd64/src/smp/mps.c 		configure_via_default(fs->config_type);
configure_via_default  467 kernel/arch/ia32/src/smp/mps.c 		configure_via_default(fs->config_type);
HelenOS homepage, sources at GitHub