Genode on Odroid-XU4

Stefan Kalkowski stefan.kalkowski at ...1...
Thu Dec 1 11:08:25 CET 2016

sorry, I just recognized the SoCs are not fully equal. The first Odroid
XU, which we are using is Exynos 5410, and your board uses Exynos 5422.
Anyway, I would follow the same approach. Additionally, you can compare
memory settings and I/O memory settings of the UART within device-tree
specifications of the two boards:



On 12/01/2016 10:42 AM, Stefan Kalkowski wrote:
> Hello Yevgeny Lavrov,
> there is basic support for the Odroid XU regarding Genode's own kernel
> (base-hw). I assume you will be able to start various scenarios that
> only use CPU, Timers and UART on the Odroid XU4 as well, because they
> use the same SoC.
> I would start with connecting a UART cable via the GPIO ports to your
> home computer, and test whether you can interact with a Linux system
> running on top of your test board. After that, you might play with
> u-boot until you can successfully boot over network, e.g., a Linux
> kernel. Possibly, you cannot even network boot on Odroid XU4, but have
> to use fastboot (via USB) instead.
> Finally, you start your Genode development by creating a 'hw_odroid_xu'
> build directory, add some RUN_OPT variables to the 'etc/build.conf' to
> automatically load the setup and interact with the test board,
> corresponding to the method you are using (either network boot or
> fastboot). Here is some example for the Odroid variant we are testing
> nightly:
>   RUN_OPT += --include image/uboot
>   RUN_OPT += --include load/fastboot
>   RUN_OPT += --load-fastboot-device 'usb:2-1.8'
>   RUN_OPT += --include log/serial
> Then you can start some very basic example, like:
>   make run/log
> and wait, whether you get some output, and if the test succeeds.
> For a general introduction to the build environment and run-script
> automatisms, have a look at the Genode foundations:
> In general, it is a good idea to first skim through this document.
> Best regards,
> Stefan
> On 12/01/2016 09:12 AM, Yevgeny Lavrov wrote:
>> Greetings
>> I would like to try Genode on Odroid-XU4. I aware that there's no
>> support available for this ARM device yet. However, I want to give it a
>> try, but I don't know where to start. Can you please point me in the
>> right direction so I can find the information that I'll need to get
>> started this task?
>> Thanks
>> ------------------------------------------------------------------------------
>> _______________________________________________
>> genode-main mailing list
>> genode-main at

Stefan Kalkowski
Genode Labs ยท

More information about the users mailing list