genode/repos/base-nova/include/nova
2015-02-27 11:48:05 +01:00
..
stdint.h Move repositories to 'repos/' subdirectory 2014-05-14 16:08:00 +02:00
syscall-generic.h nova: provide assessors in utcb for efer register 2015-02-27 11:48:05 +01:00
util.h nova: use in core one pager per CPU 2015-02-27 11:40:58 +01:00