genode/libports/include/x86emu/sys
Christian Helmuth b355897f53 update x86emu to 1.20
+ document x86emu move from os -> libports

Fixes #456
2013-06-12 11:35:12 +02:00
..
types.h update x86emu to 1.20 2013-06-12 11:35:12 +02:00