Dear Adam,
We were able to overcome the qemu: fatal: Unimplemented cp15 register write (c9, c14, {0, 0})
by modifying helper.c in qemu code (cleaned c9 data reg) and L4 booting went ahead till it starts Sigma0.
But as you pointed out earlier (for smp running) that cp15-c7 implementation/data structure(qemu:Cpu.h) is missing (which doesn't looks like it'll be implimented anytime sooner in qemu).
The patch/workaround which you've mentioned, i'm supposing is a L4 patch for overcoming qemu's shortcoming.
Where can i access this patch/hack (as part of next release or in SVN) ?
Once i'm free, will check on qemu side if i can help in impl of Cp15-c7, but with my limited knowledge on arm side it'll take a while.
Warm Regards,
Naveen
On Tue, Feb 15, 2011 at 10:51 PM, Adam Lackorzynski
<adam@os.inf.tu-dresden.de> wrote:
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...