genode

Files

Dr. Florian M. Grätz b2934c7aec Fix build on Ubuntu 16.10 for x86_64

Ubuntu provides position independent shared objects for libraries, e.g.,
libsdl1.2-dev. To appropriatly link it to Genode, the linker flag
'-no-pie' has to be added to the make file.

2017-01-13 13:06:52 +01:00

etc

Add unified build directories to create_builddir

2017-01-13 13:05:44 +01:00

lib

Fix build on Ubuntu 16.10 for x86_64

2017-01-13 13:06:52 +01:00

run

Build dynamically linked executables by default

2016-12-14 11:22:27 +01:00

src

Simpify startup of dynamically linked binaries

2017-01-13 13:06:52 +01:00

README

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

README

This repository contains the Linux-specific implementation of Genode.