HelenOS sources

configure_via_ct  465 kernel/arch/amd64/src/smp/mps.c 		configure_via_ct();
configure_via_ct  465 kernel/arch/ia32/src/smp/mps.c 		configure_via_ct();
HelenOS homepage, sources at GitHub