mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
e91170a49c
Besides updating CLI monitor to the new API, the patch removes Fiasco.OC-specific extensions that remained unused for a long time. Ref #1987 |
||
---|---|---|
.. | ||
spec | ||
alarm.mk | ||
blit.mk | ||
config_args.mk | ||
config.mk | ||
net-stat.mk | ||
net.mk | ||
server.mk | ||
timed_semaphore.mk | ||
timeout.mk | ||
vfs.mk |