How to add EXYNOS platform support

[Chao-Jui Chang]

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?

[1] ODROID platform:
http://www.hardkernel.com/renewal_2011/products/prdt_info.php?g_code=G133999328931#

Thanks,
Chao-Jui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130211/a4738fab/attachment.html>