Hi,
On 02.01.2019 11:22, Tomasz Gajewski wrote:
Recently I've purchased RPI 3B+ - it is my first arm device and currently all aspects of making Genode work on it are on my radar.
I agree that better support for the Raspberry Pi would be useful, considering how easy and affordable it is to get one of these devices and to start experimenting with it. Maybe we could also provide an SD card image with Sculpt and some showcase applications and games for interested users to try out.
On a different note, there will probably be a tool chain update planned for this year and this would also be a good opportunity to improve its compatibility with GNU Autotools based configuration of ported software, for example by conforming to the established target-triplet form (x86_64-genode-gcc instead of genode-x86-gcc), by supporting the '-l' linker flag or by knowing where to find the correct linker script by default.
Christian