Christian Prochaska 5a88e106df Define '__dso_handle' in shared libraries. ...

The '__dso_handle' symbol is needed when building with GCC 4.7.

Fixes #437.

2012-10-30 12:17:00 +01:00

..

app

Avoid superfluous compiler warnings

2012-10-08 15:08:21 +02:00

drivers

Add missing variable initialization

2012-10-30 12:06:55 +01:00

init

Move 'Child' API implementation to library

2012-10-09 13:45:33 +02:00

lib

Define '__dso_handle' in shared libraries.

2012-10-30 12:17:00 +01:00

platform

Reserve up to 8x4 bytes for the parent capability

2012-08-14 19:14:25 +02:00

server

Implement VMM for Linux in VEA9x4 normal-world

2012-10-29 10:08:30 +01:00

test

Move 'Child' API implementation to library

2012-10-09 13:45:33 +02:00