On Sat, Sep 17, 2011 at 03:23:15AM +0200, Edgar E. Iglesias wrote: > I agree, thanks! You're welcome. > BTW, in case anyone is intersted, it is now possible to boot malta > boards with SMP with the latest QEMU. The neat thing is that if you > debug the kernel with GDB, you'll see the different cores execution > contexts as differten threads and can singletep them individually. Very interesting. What type of SMP system does it emulate? Ralf