L4 and ARM Cortex-A8 (OMAP3)

Thomas DuBuisson thomas.dubuisson at gmail.com
Mon Apr 26 23:37:22 CEST 2010

On Mon, Apr 26, 2010 at 2:32 PM, Adam Lackorzynski
<adam at 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.

However verbose you're willing to be I'd be more than happy listening,
testing and getting my hands a bit dirty.


More information about the l4-hackers mailing list