|
doc
|
Update Muen port
|
2017-05-31 13:16:22 +02:00 |
|
etc
|
base: remove include/spec/* other than ISA
|
2017-05-31 13:16:01 +02:00 |
|
include
|
hw: fix capability accounting of kernel/core
|
2017-06-19 12:35:55 +02:00 |
|
lib/mk
|
core: generic ROM module initialization
|
2017-08-28 16:49:36 +02:00 |
|
ports
|
muen: adapt initial IP of genode subject
|
2017-08-28 16:49:45 +02:00 |
|
recipes
|
depot: update recipe hashes
|
2017-08-18 10:25:28 +02:00 |
|
run
|
Remove obsolete RAM/CAP services from run scripts
|
2017-05-31 13:16:22 +02:00 |
|
src
|
hw: enable mappings beyond 4G on x86_64
|
2017-08-28 16:49:46 +02:00 |
