I would like to give your work a try on my raspberry pi. I followed the
handbook and successfully invoked
create_builddir hw_rpi
and ran make. It compiled and linked a lots of files and now I have a
wagonload of binaries including a files called core and init, which are
both ELF files for ARM (which was expected). However, I have no idea how I
can create an SD card image, that would boot my raspberry pi... Can you
give me a hint on this?
Thanx & regards, Florian.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
If you subscribe to the list and post there, I expect that you get profound tips from the community.
Regarding your question, I looked up some information from genode.org (via google). It looks like you're just missing an SD card for a common Linux boot and
If you subscribe to the list and post there, I expect that you get
profound tips from the community.
Regarding your question, I looked up some information from genode.org
(via google). It looks like you're just missing an SD card for a common
Linux boot and
Dear Genode team,
I would like to give your work a try on my raspberry pi. I followed the
handbook and successfully invoked
create_builddir hw_rpi
and ran make. It compiled and linked a lots of files and now I have a
wagonload of binaries including a files called core and init, which are
both ELF files for ARM (which was expected). However, I have no idea how I
can create an SD card image, that would boot my raspberry pi... Can you
give me a hint on this?
Thanx & regards, Florian.
Hello,
please let me first inform you that very few people frequent this forum and most Genode discussion happens on the mailing list
http://genode.org/community/mailing-lists
If you subscribe to the list and post there, I expect that you get profound tips from the community.
Regarding your question, I looked up some information from genode.org (via google). It looks like you're just missing an SD card for a common Linux boot and
(from https://genode.org/documentation/release-notes/13.11#Raspberry_Pi)
genode-arm-objcopy -Obinary var/run/demo/image.elf genode.img
Afterwards you need to edit the config.txt as described on the webpage.
Regards
Christian
Thank you for the reply. I will move this discussion to the mailing list,
as you suggested. 🙂
2016-08-15 9:11 GMT+02:00 Christian Helmuth chelmuth@users.sf.net: