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
713c841965f0d47aebf857d734bd1e45f8d70bba
genode/repos/os
History
Stefan Kalkowski 7db602faec os: deprecate platform API for x86, rpi, imx53 
* Move platform APIs to "legacy/" subdirectory
* Rename old pc, imx53, and rpi platform_drv
  to "legacy_*_platform_drv"

Fix #4359
2022-01-19 12:38:12 +01:00
..
doc
Remove <configfile> feature from init
2020-05-18 10:16:13 +02:00
include
os: deprecate platform API for x86, rpi, imx53
2022-01-19 12:38:12 +01:00
lib
os: avoid implicit conversions
2021-12-17 15:04:45 +01:00
recipes
os: deprecate platform API for x86, rpi, imx53
2022-01-19 12:38:12 +01:00
run
cpu_balancer.run: disable testing on foc
2022-01-19 12:35:49 +01:00
src
os: deprecate platform API for x86, rpi, imx53
2022-01-19 12:38:12 +01: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.