HelenOS sources

mps_cpu_bootstrap  121 kernel/arch/amd64/src/smp/mps.c 	.cpu_bootstrap = mps_cpu_bootstrap,
mps_cpu_bootstrap  121 kernel/arch/ia32/src/smp/mps.c 	.cpu_bootstrap = mps_cpu_bootstrap,
HelenOS homepage, sources at GitHub