Martin Stein c9f7e9dbb2 tz_vmm: update to new API and clean up ... * get rid of printf * use exceptions instead of error codes * use Id_space instead of the individual block device registry * use Cstring instead of char const* * move method definitions > 1 line to .cc files * rename Block Block_driver and Serial Serial_driver to avoid name clashes with the Genode namespace and thereby simplify the code * use lambdas for Block device lookup and apply * switch to the Component framework * don't use env(), config(), ... and hand over env to each connection * use Attached_mmio and Attached_rom/ram_dataspace instead of manual solutions Fixes #2223		2017-01-31 12:01:11 +01:00
..
spec	tz_vmm: update to new API and clean up	2017-01-31 12:01:11 +01:00
alarm.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
blit.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
config.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
net-stat.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
net.mk	net: replace dump.h by modern print methods	2016-11-30 13:38:05 +01:00
sd_card.inc	sd_card: make main.cc generic	2017-01-13 13:07:06 +01:00
server.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
timed_semaphore.mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
timeout.mk	os: introduce and test timeout framework	2016-11-30 13:38:04 +01:00
vfs.mk	vfs: depend on ld library	2015-07-07 19:48:07 +02:00