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 hw_odroid_xu'.
Cheers, Martin
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main