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
3ed8df90897f1b5ada04bb55a9a1e246df6bcf55
genode/repos/os
History
Norman Feske 3ed8df9089 x86/platform_drv: add Platform::Session::dma_addr 
This patch adds the designated alternative to Dataspace::phys_addr to
the platform-session interface. Under the hood, the platform driver
still calls Dataspace::phys_addr but it should eventuelly become the
only caller before we can abolish this function.

Issue #2243
2021-04-20 12:03:05 +02:00
..
doc
Remove <configfile> feature from init
2020-05-18 10:16:13 +02:00
include
x86/platform_drv: add Platform::Session::dma_addr
2021-04-20 12:03:05 +02:00
lib
sandbox/init: parse config using 'List_model'
2021-04-20 12:03:04 +02:00
recipes
sandbox/init: parse config using 'List_model'
2021-04-20 12:03:04 +02:00
run
zynq_qemu: disable fb_bench and nic_router_flood tests
2021-03-29 13:45:24 +02:00
src
x86/platform_drv: add Platform::Session::dma_addr
2021-04-20 12:03:05 +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.