genode/repos/os/lib/mk/spec
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
..
arm Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
exynos5 sd_card: re-factorizea and clean up 2017-01-13 13:07:07 +01:00
foc_rpi Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
hw_rpi Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
imx6 sd_card: re-factorizea and clean up 2017-01-13 13:07:07 +01:00
imx53 tz_vmm: update to new API and clean up 2017-01-31 12:01:11 +01:00
imx53_qsb tz_vmm: use library instead of REQUIRES 2017-01-31 12:01:11 +01:00
omap4 sd_card: re-factorizea and clean up 2017-01-13 13:07:07 +01:00
pl180 sd_card: re-factorizea and clean up 2017-01-13 13:07:07 +01:00
rpi sd_card: re-factorizea and clean up 2017-01-13 13:07:07 +01:00
usb_armory tz_vmm: use library instead of REQUIRES 2017-01-31 12:01:11 +01:00
x86 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
x86_32 Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
x86_64 hw: use kernel timer for timer driver 2016-05-26 15:54:15 +02:00