genode/repos/ports/src/virtualbox/patches
Christian Prochaska 4c19576d4e vbox: use multiple host CPUs
Fixes #1553
2015-08-21 10:58:59 +02:00
..
acpi_drv.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
avoid_yield.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
dev_e1000.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
eminternal.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
iconv.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
mouse.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
network.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
pdm_driver.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
poke.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
rem_irq.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
serial.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
series vbox: use multiple host CPUs 2015-08-21 10:58:59 +02:00
sharedfolder_pagelist.patch vbox: shared folder read/write loop fix 2015-07-21 09:43:15 +02:00
time-log-deadlock.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
tm_retries.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
tm_smp.patch vbox: use multiple host CPUs 2015-08-21 10:58:59 +02:00
usb.patch vbox: enable USB (OHCI) pass-through support 2015-05-26 09:39:46 +02:00
vbox_inc.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
vbox_main.patch vbox: enable USB (OHCI) pass-through support 2015-05-26 09:39:46 +02:00
vga_fb.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
vga_vbva.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
vmdk.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00
vmmdev.patch vbox: use interface declarations from 'VirtualBox_XPCOM.h' 2015-05-06 12:06:23 +02:00