Yet another question

[Stefan Kalkowski]

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.graetz at ...9...
> <mailto:florian.graetz at ...9...>> 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 at lists.sourceforge.net
>     <mailto:genode-main at 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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
> 

-- 
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/