Norman Feske b11bbd30c2 Work-around of running Genode with PaX enabled ... Thanks to Torsten Hilbrich for reporting. Fixes #91.		2012-02-08 19:30:55 +01:00
..
x86_32	Work-around of running Genode with PaX enabled	2012-02-08 19:30:55 +01:00
x86_64	Work-around of running Genode with PaX enabled	2012-02-08 19:30:55 +01:00
_main_helper.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
context_area.nostdlib.ld	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
context_area.stdlib.ld	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
linux_rpath.cc	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
linux_rpath.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
linux_socket.h	Refactor Linux socket handling into platform header	2012-01-17 17:19:30 +01:00
linux_syscalls.h	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
lx_hybrid.cc	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00