genode/repos/base-hw/src/lib
Stefan Thöni a7a9855493 base: lay groundwork for base-linux caps change
Include the necessary hooks to introduce file descriptor
based capabilities in base linux.

Issue #3581
2020-02-27 14:46:58 +01:00
..
base base: lay groundwork for base-linux caps change 2020-02-27 14:46:58 +01:00
hw hw: introduce virtualization support for ARMv8 2019-11-21 14:29:36 +01:00
ld/hw Genode application binary interface (ABI) 2016-12-23 16:50:28 +01:00
muen hw: replace lock-safe log variants in kernel 2019-04-09 12:30:35 +02:00
startup/spec/riscv Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00