port samsung exynos 5

Martin Stein martin.stein at ...1...
Fri Jan 9 11:05:55 CET 2015

Hi Waldo,

To get a hint on which target platforms are supported with which kernel
you can issue 'tool/create_builddir' without arguments. Our
bare-hardware kernel (base-hw repository) has support for the Odroid-XU
board (Exynos 5410) and the Arndale board (Exynos 5250). The latter is
also supported with Fiasco OC as kernel. You can create build
directories for them via 'tool/create_builddir hw_arndale',
'tool/create_builddir foc_arndale', respectively 'tool/create_builddir


On 08.01.2015 18:59, Waldo Paz Rodriguez wrote:
> Hi Genode hackers, I'm interested in whether genode has support for 
> samsung exynos 5 card as I was reviewing and did not find this card in 
> the list that has genode, if you do not have anyone could help me or 
> explain how to do it
> regards waldo
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming! The Go Parallel Website,
> sponsored by Intel and developed in partnership with Slashdot Media, is your
> hub for all things parallel software development, from weekly thought
> leadership blogs to news, videos, case studies, tutorials and more. Take a
> look and join the conversation now. http://goparallel.sourceforge.net
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

More information about the users mailing list