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