Hi,
On Tue Feb 15, 2011 at 19:44:29 +0530, Naveen Chandrakar wrote:
Actually when we tried qemu for running "smp linux", and it ran fine with "realview-pbx-a9" board with "-smp 4". Where it booted up with 4 core configuration. For the same reason we were selected "realview-pbx-a9" board configuration when doing "make config" for L4 microkernel under the assumption that it would run. But the board check itself is failing afterwards (for qemu). If you could recommend any board which can be used for the "multicore development" it would be great :).
We really liked the documentation and the code support which is available with fiasco group for the same reason we wanted to have fiasco as our primary candidate for experimentations. Please let me know if with some effort we would be able to bring up the multicore microkernel, i might be able to help out in case some effort is required for the unimplemented part.
Yes, it works with Linux as Linux was (likely) used for developing this. I've got a hack running internally now and posting patches upstream...
Adam