ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-05 02:29:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-sel4/src
History
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
..
core
base: add affinity space info to platform info
2020-02-04 15:51:10 +01:00
include
base: add mutex as derivate of lock
2020-02-20 12:11:22 +01:00
kernel/sel4
kernel: differentiate board-specific components
2019-05-27 14:46:52 +02:00
lib
base: lay groundwork for base-linux caps change
2020-02-27 14:46:58 +01:00
timer
sel4: add timer for imx7d_sabre
2019-05-06 16:15:26 +02:00