genode/repos/base-hw/include
Alexander Boettcher 0c24e1efdc vm_session: extensions
- support to create multiple vCPUs
- support to implement Vm_session methods client side within base library
- adjust muen specific virtualbox4 version to compile/link

Issue #3111
2019-02-19 11:08:17 +01:00
..
hw_native_pd hw: fix capability accounting of kernel/core 2017-06-19 12:35:55 +02:00
kernel os/timer: interpolate time via timestamps 2017-05-31 13:16:11 +02:00
spec vm_session: extensions 2019-02-19 11:08:17 +01:00