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
3e848dff10c92b3425cbd38cf2d2fd7b00a8b10a
genode/repos/os
History
Stefan Kalkowski d6332f1767 zynq: make nic driver independent of hw kernel 
Use uncached ram dataspace for RX and TX communication buffers
instead of cache maintainance functions that are not part of the
Genode API.

Fix #3291
2019-05-06 16:15:26 +02:00
..
doc
Remove obsolete RAM/CAP services from run scripts
2017-05-31 13:16:22 +02:00
include
os: explicit cache policy in Nic::Session_component
2019-05-06 16:15:26 +02:00
lib
sd_card_drv: support for Nitrogen6 SoloX
2019-02-26 14:45:31 +01:00
recipes
depot: update recipe hashes
2019-04-09 12:30:35 +02:00
run
block_tester: update to new block-client API
2019-05-06 16:15:25 +02:00
src
zynq: make nic driver independent of hw kernel
2019-05-06 16:15:26 +02:00
xsd
timeout: use uint64_t for all plain time values
2019-05-06 16:15:26 +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.