Mon, 8 Jan 2007 18:32:00 +0100 (MET) Axel Dörfler wrote: > Have a look at src/system/boot/platform/bios_ia32/smp.cpp - enabling > debug output could give the first pointers. Currently, we only > support > the Intel multiprocessor specs. We might need to use ACPI for this > which would mean moving it into the kernel, or trying to make the > ACPI > module run in the boot loader environment (which doesn't make that > much > sense, though). Thank you. My little holiday is over now. So my efforts will suffer a slow down. But I will try to keep everyone posted if I should find out anything of interest.