Mark Ovens wrote: > CPUs are numbered from 0 - so you have cpu0 and cpu1. The system > starts up on cpu0 and the kernel starts cpu1 later in the boot sequence. Oops, major boomer; sorry, I will RTFM next time I ask something... Jos