genode/repos/os/lib
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
..
mk os: name tz_vmm unambigously (ref #2190) 2019-05-27 14:46:53 +02:00
symbols Convert static VFS library to dynamic library 2018-05-30 12:26:19 +02:00