ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-04 09:59:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os
History
Norman Feske fc7b983a40 terminal: clipboard support 
Fixes #2079
2019-07-09 08:58:38 +02:00
..
doc
…
include
terminal: clipboard support
2019-07-09 08:58:38 +02:00
lib
os: name tz_vmm unambigously (ref #2190)
2019-05-27 14:46:53 +02:00
recipes
os: recipe for 'trace_policy'
2019-07-09 08:55:24 +02:00
run
run: enable 'imx7d_sabre' in network tests
2019-07-09 08:58:38 +02:00
src
clipboard: allow for dynamic reconfiguration
2019-07-09 08:58:38 +02:00
xsd
timeout: use uint64_t for all plain time values
2019-05-06 16:15:26 +02:00
README
…

README 

This source-code repository contains genuine low-level OS components and
interfaces of Genode. It solely depends on the framework's base API.