How to add EXYNOS platform support

Adam Lackorzynski adam at
Wed Feb 13 00:11:43 CET 2013

On Mon Feb 11, 2013 at 12:46:44 +0800, Chao-Jui Chang wrote:
> I want to port Fiasco.OC to run on hardkernel's ODROID[1] platform.
> Could anyone point out the direction of porting Fiasco to me?
> I find some BSP info in l4/src/kernel/fiasco/src/kern/arm/bsp, but I don't
> know how to start porting.
> Which BSP can be the base to modify for EXYNOS platform?

I'd go for tegra2 bsp.

Adam                 adam at

More information about the l4-hackers mailing list