L4 and ARM Cortex-A8 (OMAP3)
All, I'm wanting to experiment with L4 on a OMAP3 (beagleboard based) system but am having difficulting finding a suitable L4 microkernel. Does anyone on this list have comments/suggestions wrt which kernel to use, building, u-boot configuration, etc? Cheers, Thomas
On Thu Apr 22, 2010 at 15:37:55 -0700, Thomas DuBuisson wrote:
I'm wanting to experiment with L4 on a OMAP3 (beagleboard based) system but am having difficulting finding a suitable L4 microkernel. Does anyone on this list have comments/suggestions wrt which kernel to use, building, u-boot configuration, etc?
I don't want to promise too much but I have a Fiasco version for the BB sitting on my disk. I'm currently trying to get all this in a reasonable state. Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
On Mon, Apr 26, 2010 at 2:32 PM, Adam Lackorzynski <adam@os.inf.tu-dresden.de> wrote:
On Thu Apr 22, 2010 at 15:37:55 -0700, Thomas DuBuisson wrote:
I'm wanting to experiment with L4 on a OMAP3 (beagleboard based) system but am having difficulting finding a suitable L4 microkernel. Does anyone on this list have comments/suggestions wrt which kernel to use, building, u-boot configuration, etc?
I don't want to promise too much but I have a Fiasco version for the BB sitting on my disk. I'm currently trying to get all this in a reasonable state.
Adam, However verbose you're willing to be I'd be more than happy listening, testing and getting my hands a bit dirty. Cheers, Thomas
participants (2)
-
Adam Lackorzynski -
Thomas DuBuisson