Christian Prochaska 6bf4fd3340 nova: 64-bit guest support ...

Issue #1791

2015-11-29 18:17:06 +01:00

..

stdint.h

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

syscall-generic.h

nova: 64-bit guest support

2015-11-29 18:17:06 +01:00

util.h

nova: use in core one pager per CPU

2015-02-27 11:40:58 +01:00