ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 16:35:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/os
History
Martin Stein c8a8cbd7be run/tz_vmm: fix deprecated use of board specs 
Filtering boards in a run script by specs isn't the right way anymore (the
specs do not exist anymore). Nowadays, we have to use [have_board] instead.

Ref #4229
2021-07-28 11:27:05 +02:00
..
doc
Remove <configfile> feature from init
2020-05-18 10:16:13 +02:00
include
ipv4: get rid of C++ bitsets, add DF/MF flags
2021-07-28 11:27:04 +02:00
lib
sandbox/init: parse config using 'List_model'
2021-04-20 12:03:04 +02:00
recipes
os: introduce C-API to Genode services
2021-07-28 11:27:04 +02:00
run
run/tz_vmm: fix deprecated use of board specs
2021-07-28 11:27:05 +02:00
src
nic_router: do not re-use ARP request as reply
2021-07-28 11:27:04 +02:00
xsd
nic drivers: provide optional Uplink-client mode
2021-01-25 13:58:09 +01:00
README
API documentation refinements
2017-05-31 13:16:21 +02:00

README 

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