Hi, I compiled my kernel using options SMP it seems to work, I now see 4 cpus on my server (2 xeon with HTT) so It seems fine. Following the documentation I tried to use either device apic or options APIC_IO both are refused by /usr/sbin/config are they mandatory or does the documentation needs updating ? Thanks