Greetings and thanks for the awesome work with genode.

   I have been trying to run genode on bare hardware on the odroids -> odroid-x2/odroid-xu for which I presume - they are already supported (the release notes mention them).

    What is missing is a step by step guide of building say, nested_init or a simpler printf application which shows some output when run from the uboot prompt.

    I tried following the instructions as mentioned in http://genode.org/documentation/platforms/hw (it generates an elf file, but then passing RUN_OPT="--target uboot" did not create the uImage file. Well, I did convert the elf to a bin file with objcopy and then converted that to an uImage file with mkimage. Am not sure if that is correct.

    What, I ask is, is there a step by step which will get me an UART output from genode on any of the supported odroid's using the latest genode code from git? Any pointers to such a doc would be immensely helpful to me as I would like to explore genode.

Thanks in advance!

Regards

- Suriyan