|
frontend
|
transition Input infrastructure to new base API
|
2016-10-21 12:39:29 +02:00 |
|
patches
|
vbox: support timeouts for GVMM_SCHED_HALT
|
2016-10-21 12:39:31 +02:00 |
|
spec/nova
|
vbox: support timeouts for GVMM_SCHED_HALT
|
2016-10-21 12:39:31 +02:00 |
|
dummies.cc
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
hm.cc
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
mm.cc
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
mm.h
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
pgm.cc
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
sup.cc
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
sup.h
|
Define Genode::size_t as unsigned long
|
2016-10-21 12:39:29 +02:00 |
|
target.mk
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
unimpl.cc
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
|
util.h
|
vmm: experimental virtualbox 5 support
|
2016-08-29 17:29:32 +02:00 |
