L4 and ARM Cortex-A8 (OMAP3) Thomas DuBuisson

[Adam Lackorzynski]

On Wed Sep 22, 2010 at 15:59:53 +1000, Brett Mahar 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
> 
> Just wondering if anyone has got any new info since these posts
> earlier in the year? I am waiting on a beagleboard xm to arrive in the
> mail....

Fiasco.OC/L4Re supports the beagleboard out of the box now, at least the
older versions. I'm not sure about the XM, I hope it's not completely
different to the previous ones.


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