genode/repos/os/src/init
2016-03-08 17:00:54 +01:00
..
config.explicit_routing Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
config.priority Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
config.wildcard Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
main.cc init: don't block for resource upgrades 2015-07-21 09:36:46 +02:00
target.mk base-linux: remove chroot support 2016-03-08 17:00:54 +01:00