genode

History

Stefan Kalkowski f49f91da08 os: increase RAM quota for drivers in fb_bench.run Enables fb_bench.run script for new imx8 framebuffer driver. Ref #3615		2020-02-04 15:59:33 +01:00
..
doc	Remove obsolete RAM/CAP services from run scripts	2017-05-31 13:16:22 +02:00
include	os/dynamic_rom_session.h: support Xml_generator	2020-02-04 15:51:09 +01:00
lib	New sandbox library extracted from init component	2020-02-04 15:51:09 +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	Log key count in input test	2020-02-04 15:51:10 +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

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