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 c6f3dfc3ec Add some ANSI C procedures to base-common 2 years ago
..
doc Update Muen port 3 years ago
etc kernel: differentiate board-specific components 3 years ago
include hw: introduce virtualization support for ARMv8 2 years ago
lib/mk hw: introduce virtualization support for ARMv8 2 years ago
ports Update Muen port 3 years ago
recipes depot: update recipe hashes 2 years ago
run Remove obsolete RAM/CAP services from run scripts 5 years ago
src Add some ANSI C procedures to base-common 2 years ago
Tuprules.tup Add base-hw Tup rules 2 years ago