Thank you, Christian. Adding -no-pie to the compiler flags fixed this issue.
2016-12-13 19:11 GMT+01:00 Florian Grätz <florian.gra...@gmail.com>:
> Dear Stefan,
> Dear Mohammad,
>
> thank you for your kind support. Stefan pointed me into the right
> direction. I wa
, there is no specs.conf file in my build directory:
florian@Linde:~/genode/build/linux_x86$ ls -R -a
.:
. .. etc Makefile
./etc:
. .. build.conf
Do I need to create one?
Regards, Florian.
2016-12-12 23:24 GMT+01:00 Florian Grätz <florian.gra...@gmail.com>:
> Hello, community,
>
> first
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
Dear community,
I would greatly appreciate you support on this matter. One of the
developers was so kind to point me to the RPi instructions included in the
13.11 release notes:
https://genode.org/documentation/release-notes/13.11#Raspberry_Pi
Still, this post does not answer all questions. What
