L4 and ARM Cortex-A8 (OMAP3)

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Apr 26 23:32:06 CEST 2010

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

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list