denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
d56b21d329684a27ce22f94deade0e1f7066a9c1
genode/repos/os
History
Martin Stein d56b21d329 nic_router: do not change ethernet header as hub 
When forwarding domain-local traffic like a hub, the NIC router shouldn't
modify packets at all.

Fixes #3625
2020-02-10 14:21:47 +01:00
..
doc
Remove obsolete RAM/CAP services from run scripts
2017-05-31 13:16:22 +02:00
include
os: add backtrace utility for arm_64
2020-02-04 16:10:22 +01:00
lib
os: increase throughput of blit for ARM 64-bit
2020-02-04 16:01:35 +01:00
recipes
depot: update recipe hashes
2020-02-04 15:51:10 +01:00
run
os: increase RAM quota for drivers in fb_bench.run
2020-02-04 15:59:33 +01:00
src
nic_router: do not change ethernet header as hub
2020-02-10 14:21:47 +01:00
xsd
timeout_types.xsd: Minutes type
2019-08-21 12:37:02 +02: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.