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 b20ca5f254 Revert "Core: exit with child exit value" 2 years ago
..
doc sel4: 3rd article - porting core to seL4 7 years ago
etc sel4: add Wandboard Quad (iMX6) support 4 years ago
include/sel4 Adjust file headers to refer to the AGPLv3 5 years ago
lib kernel: differentiate board-specific components 3 years ago
mk/spec Disambiguate kernel-specific file names 5 years ago
patches sel4: let seoul-kernelbuild.run succeed 3 years ago
ports sel4: let seoul-kernelbuild.run succeed 3 years ago
recipes/src depot: update recipe hashes 2 years ago
src Revert "Core: exit with child exit value" 2 years ago