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

..

base

Refactor Linux socket handling into platform header

2012-01-17 17:19:30 +01:00

core

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

platform

Work-around of running Genode with PaX enabled

2012-02-08 19:30:55 +01:00

test

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00