Hi, On 12/13/2016 09:41 AM, Mohammad Hamad wrote: > hi Florian, > > have a look at: https://genode.org/documentation/release-notes/13.11 > it could help you to run genode on RPI. > > best, >
The description from those release notes is pretty much outdated. Please, follow the following steps: # create a build directory, e.g.: tool/create_builddir hw_rpi # prepare the dde_linux and libc 3rd-party code: tool/ports/prepare_port dde_linux libc # change to the build-directory: cd build/hw_rpi # uncomment the dde_linux and libports repositories in the # build-directory's 'etc' directory: sed -i 's/#\(.*\/libports\)/\1/' etc/build.conf sed -i 's/#\(.*\/dde_linux\)/\1/' etc/build.conf # start the demo run script: make run/demo After the successful build the resulting ELF image file resides in: var/run/demo/image.elf To create an u-boot image, you can additionally add a RUN_OPT variable to your build.conf file: echo "RUN_OPT += --include image/uboot" >> etc/build.conf Of course, you then need to re-build the demo scenario. The resulting image will reside in: var/run/demo/uImage Regards Stefan > > > > > > On 12 December 2016 at 23:24, Florian Grätz <florian.gra...@gmail.com > <mailto:florian.gra...@gmail.com>> wrote: > > Hello, community, > > first of all: let me express, how helpful and responsive this > mailing list is. I finally succeeded in running make for hw_rpi - > still I have no idea how to run it on my real hardware. make surely > created many files, most of them object files (.o), or object > archives (.a). For running on my hardware, I would need an image > file, which I can write on an SD card, though. How would I create > one? Browsing through the .txt files didn't yield to anything useful. > > I also have another concern when making for target linux_x86 > according to section 'Quick start to build genode for linux'. make > run/demo quits with the following errors: > /usr/bin/ld: fb_sdl.o: relocation R_X86_64_32 agains symbol > '_ZTIN6Genode11Msgbuf_base13_Too_many_capsE' can not be used when > making a shared object; recompile with -fPIC > /usr/bin/ld: input.o: relocation R_X86_64_32S agains '.rodata' can > not be used when making a shared object recompile with -fPIC > /usr/bin/ld: > /usr/lib/gcc/x86_64-linux-gnu/6../../../x86_64-linux-gnu/crt1.o: > relocation R_X86_64_32S against symbol '__libc_csu_fini' can not be > used when making shared object; recompile with -fPIC > /usr/bin/ld: final link failed: Bad value > collect2: error: ld returned 1 exit status > /home/florian/genode/repos/base/mk/prg.mk:222 <http://prg.mk:222>: > recipe for target 'fb_sdl' failed > > If I run make without any arguments, the adio_drv doesn't build. The > linker quits with the following messages: > /usr/bin/ld: alsa.o: relocation R_X86_64_32 agains '.bss' can not be > used when making a shared object; recompile with -fPIC > /usr/bin/ld: > /usr/lib/gcc/x86_64-linux-gnu/6../../../x86_64-linux-gnu/crt1.o: > relocation R_X86_64_32S against symbol '__libc_csu_fini' can not be > used when making shared object; recompile with -fPIC > /usr/bin/ld: final link failed: Nonrepresentable section on output > collect2: error: ld returned 1 exit status > /home/florian/genode/repos/base/mk/prg.mk:222 <http://prg.mk:222>: > recipe for target 'audio_drv' failed > > Any hints would be greatly appreciated. > > All the best, Florian. > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, SlashDot.org! http://sdm.link/slashdot > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > <mailto:genode-main@lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/genode-main > <https://lists.sourceforge.net/lists/listinfo/genode-main> > > > > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, SlashDot.org! http://sdm.link/slashdot > > > > _______________________________________________ > genode-main mailing list > genode-main@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > -- Stefan Kalkowski Genode Labs https://github.com/skalk · http://genode.org/ ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
