Hello wonderful people! 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
Hi Suriyan
On 14/10/15 01:17, Suriyan Ramasami wrote:
Hello wonderful people! 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).
In the case of ODROID-x2 does not support bw. Support for ODROID-x2 mentioned in the release notes is using the microkernel Fiasco.OC.
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.
The guide for the compilation of genodeOS to bw must change the following line
<genode-dir>/tool/create_builddir hw_<TARGET> BUILD_DIR=<build-dir>
by this line
<genode-dir>/tool/create_builddir foc_odroid_x2 BUILD_DIR=<build-dir>
in case you want to use the ODROID-x2
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
best regards
Alexy
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi,
On 10/14/2015 07:17 AM, Suriyan Ramasami wrote:
Hello wonderful people! 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.
Passing RUN_OPT settings via the shell environment is obsolet, as well as the "--target uboot" expression. Instead please add:
RUN_OPT += --include image/uboot
into your 'etc/build.conf' within your build directory. After triggering a run-script e.g. 'make run/foo' an u-boot image 'var/run/foo/uImage' will be created as result. You can transfer it by using u-boot via sd-card, or network into the memory of your device, and finally load it via u-boot's 'bootm' command.
BTW. the most useful documentation right now is the "Genode Foundations" book that can be found on the genode.org website. In chapter 5 you will find a lot of up-to-date information about system integration, booting and testing, including the usage of our run-tool.
Regards Stefan
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
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main