genode/repos/os/src
Stefan Kalkowski 3460444d84 os: name tz_vmm unambigously (ref #2190)
Moreover, express current requirement to hw API, which was missing until now.

Originally, in the board-specific build directory of imx53_qsb the
"KERNEL" variable was preset with "hw". Therefore, it was not perceived
that this dependency is required.

Ref #3316
2019-05-27 14:46:53 +02:00
..
app sequence: add keep-going feature 2019-05-16 13:11:03 +02:00
drivers intel_gpu_drv: fix compile error with GCC 8.3.0 2019-05-27 14:46:53 +02:00
init timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
lib block_session: turn 'Connection' into template 2019-05-06 16:15:25 +02:00
server os: name tz_vmm unambigously (ref #2190) 2019-05-27 14:46:53 +02:00
test Revert "nic_router_flood: reworked to stress/analyze more" 2019-05-16 13:11:03 +02:00