23 Apr
2010
23 Apr
'10
12:37 a.m.
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