Hi,
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?