denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Remove virtualbox 4 vmm

Browse Source 
Fixes #3141
This commit is contained in:
Alexander Boettcher
2019-02-11 14:38:15 +01:00
committed by Norman Feske
parent 87d526968c
commit 6bb145bdd8
168 changed files with 34 additions and 14372 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
tool/autopilot.list
View File

@@ -58,17 +58,6 @@ timer_accuracy
tz_vmm
usb_hid
usb_hid_raw
vbox4_ubuntu_14_04_32
vbox4_ubuntu_14_04_64
vbox4_ubuntu_16_04_32
vbox4_ubuntu_16_04_64
vbox4_win10_64
vbox4_win7_32
vbox4_win7_32_share
vbox4_win7_64
vbox4_win7_64_multiple
vbox4_win7_64_raw
vbox4_win81_64
vbox5_genode_usb_hid
vbox5_ubuntu_14_04_32
vbox5_ubuntu_14_04_64