genode/base-nova/lib/mk/x86_32
2012-08-30 10:40:00 +02:00
..
pager.mk NOVA: implement pause using recall kernel feature 2012-08-30 10:40:00 +02:00
startup.mk Imported Genode release 11.11 2011-12-22 16:19:25 +01:00