Fork of the Genode OS framework
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Emery Hemingway c812fdf629 Add component exit to tests 2 years ago
..
doc Remove obsolete RAM/CAP services from run scripts 5 years ago
include Tag release 19.11 2 years ago
lib os: name tz_vmm unambigously (ref #2190) 3 years ago
recipes depot: update recipe hashes 2 years ago
run os: introduce vmm component for ARMv8 2 years ago
src Add component exit to tests 2 years ago
xsd timeout_types.xsd: Minutes type 2 years ago
README API documentation refinements 5 years ago
Tupfile Use patched binary toolchain from Genode Labs 2 years ago
Tuprules.tup Use patched binary toolchain from Genode Labs 2 years ago
genode-os.pc.in Use patched binary toolchain from Genode Labs 2 years ago

README

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