L4 and ARM Cortex-A8 (OMAP3)

Thomas DuBuisson thomas.dubuisson at gmail.com
Fri Apr 23 00:37:55 CEST 2010

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?


More information about the l4-hackers mailing list