From 072a00ba18fb17d3bd0b86002639134d89dfdf26 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 20 Jul 2020 15:59:18 +0200
Subject: [PATCH] vbox5: remove ubuntu 14_04 test

---
 repos/ports/run/vbox5_ubuntu_14_04_32.run | 30 -------
 repos/ports/run/vbox5_ubuntu_14_04_64.run | 30 -------
 repos/ports/run/vm_ubuntu_14_04_32.vbox   | 99 -----------------------
 repos/ports/run/vm_ubuntu_14_04_64.vbox   | 99 -----------------------
 tool/autopilot.list                       |  2 -
 5 files changed, 260 deletions(-)
 delete mode 100644 repos/ports/run/vbox5_ubuntu_14_04_32.run
 delete mode 100644 repos/ports/run/vbox5_ubuntu_14_04_64.run
 delete mode 100644 repos/ports/run/vm_ubuntu_14_04_32.vbox
 delete mode 100644 repos/ports/run/vm_ubuntu_14_04_64.vbox

diff --git a/repos/ports/run/vbox5_ubuntu_14_04_32.run b/repos/ports/run/vbox5_ubuntu_14_04_32.run
deleted file mode 100644
index e31fdd595a..0000000000
--- a/repos/ports/run/vbox5_ubuntu_14_04_32.run
+++ /dev/null
@@ -1,30 +0,0 @@
-#
-# Ubuntu 14.04 32bit in VBox 5
-#
-
-assert_spec x86
-assert_spec nova
-
-set flavor   "ubuntu_14_04_32"
-set vm_ram   "1280M"
-
-set use_vbox5 1
-
-set use_rumpfs 1
-# Write overlay only into ram
-set use_ram_fs 1
-# However read initial overlay from disk
-set use_overlay_from_disk 1
-
-set use_serial 0
-
-set use_usb [expr ![get_cmd_switch --autopilot]]
-set use_ps2 [have_spec ps2]
-
-set use_vms 1
-set use_cpu_load 1
-
-# use non-generic vbox5 VMM version
-set use_vbox5_nova 1
-
-source ${genode_dir}/repos/ports/run/vbox_win.inc
diff --git a/repos/ports/run/vbox5_ubuntu_14_04_64.run b/repos/ports/run/vbox5_ubuntu_14_04_64.run
deleted file mode 100644
index 2e00b7acda..0000000000
--- a/repos/ports/run/vbox5_ubuntu_14_04_64.run
+++ /dev/null
@@ -1,30 +0,0 @@
-#
-# Ubuntu 14.04 64bit in VBox 5
-#
-
-assert_spec x86_64
-assert_spec nova
-
-set flavor   "ubuntu_14_04_64"
-set vm_ram   "1280M"
-
-set use_vbox5 1
-
-set use_rumpfs 1
-# Write overlay only into ram
-set use_ram_fs 1
-# However read initial overlay from disk
-set use_overlay_from_disk 1
-
-set use_serial 0
-
-set use_usb [expr ![get_cmd_switch --autopilot]]
-set use_ps2 [have_spec ps2]
-
-set use_vms 1
-set use_cpu_load 1
-
-# use non-generic vbox5 VMM version
-set use_vbox5_nova 1
-
-source ${genode_dir}/repos/ports/run/vbox_win.inc
diff --git a/repos/ports/run/vm_ubuntu_14_04_32.vbox b/repos/ports/run/vm_ubuntu_14_04_32.vbox
deleted file mode 100644
index b9894edef4..0000000000
--- a/repos/ports/run/vm_ubuntu_14_04_32.vbox
+++ /dev/null
@@ -1,99 +0,0 @@
-<?xml version="1.0"?>
-<!--
-** DO NOT EDIT THIS FILE.
-** If you make changes to this file while any VirtualBox related application
-** is running, your changes will be overwritten later, without taking effect.
-** Use VBoxManage or the VirtualBox Manager GUI to make changes.
--->
-<VirtualBox xmlns="http://www.innotek.de/VirtualBox-settings" version="1.14-linux">
-  <Machine uuid="{37ab43a5-38d8-4491-93f5-5b0b077f5c32}" name="ubuntu_14_04_32" OSType="Ubuntu" snapshotFolder="Snapshots" lastStateChange="2014-11-14T11:58:35Z">
-    <MediaRegistry>
-      <HardDisks>
-        <HardDisk uuid="{e42dc362-b42c-4459-bc79-7b5235b9a44d}" location="/ubuntu_14_04_32.vdi" format="VDI" type="Immutable">
-          <HardDisk uuid="{78a3a6a1-ade6-41bf-8b29-ec7cf16de4bb}" location="/ram/overlay_ubuntu_14_04_32.vdi" format="VDI" autoReset="true"/>
-        </HardDisk>
-      </HardDisks>
-      <DVDImages/>
-      <FloppyImages/>
-    </MediaRegistry>
-    <ExtraData/>
-    <Hardware version="2">
-      <CPU count="2" hotplug="false">
-        <HardwareVirtEx enabled="true"/>
-        <HardwareVirtExNestedPaging enabled="true"/>
-        <HardwareVirtExVPID enabled="true"/>
-        <HardwareVirtExUX enabled="true"/>
-        <PAE enabled="true"/>
-        <LongMode enabled="false"/>
-        <HardwareVirtExLargePages enabled="false"/>
-        <HardwareVirtForce enabled="false"/>
-      </CPU>
-      <Memory RAMSize="1024" PageFusion="false"/>
-      <HID Pointing="USBTablet" Keyboard="PS2Keyboard"/>
-      <HPET enabled="false"/>
-      <Chipset type="PIIX3"/>
-      <Boot>
-        <Order position="1" device="Floppy"/>
-        <Order position="2" device="DVD"/>
-        <Order position="3" device="HardDisk"/>
-        <Order position="4" device="None"/>
-      </Boot>
-      <Display VRAMSize="20" monitorCount="1" accelerate3D="false" accelerate2DVideo="false"/>
-      <VideoCapture enabled="false" screens="18446744073709551615" horzRes="1024" vertRes="768" rate="512" fps="25"/>
-      <RemoteDisplay enabled="false" authType="Null"/>
-      <BIOS>
-        <ACPI enabled="true"/>
-        <IOAPIC enabled="true"/>
-        <Logo fadeIn="true" fadeOut="true" displayTime="0"/>
-        <BootMenu mode="MessageAndMenu"/>
-        <TimeOffset value="0"/>
-        <PXEDebug enabled="false"/>
-      </BIOS>
-      <USB>
-        <Controllers>
-          <Controller name="OHCI" type="OHCI"/>
-        </Controllers>
-        <DeviceFilters/>
-      </USB>
-      <Network>
-        <Adapter slot="0" enabled="false" MACAddress="0800271D7901" cable="true" speed="0" type="82540EM">
-          <HostInterface/>
-          <DisabledModes/>
-        </Adapter>
-      </Network>
-      <UART>
-        <Port slot="0" enabled="false" IOBase="0x3f8" IRQ="4" hostMode="Disconnected"/>
-        <Port slot="1" enabled="false" IOBase="0x2f8" IRQ="3" hostMode="Disconnected"/>
-      </UART>
-      <LPT>
-        <Port slot="0" enabled="false" IOBase="0x378" IRQ="7"/>
-        <Port slot="1" enabled="false" IOBase="0x378" IRQ="7"/>
-      </LPT>
-      <AudioAdapter controller="HDA" driver="Pulse" enabled="false"/>
-      <RTC localOrUTC="UTC"/>
-      <SharedFolders/>
-      <Clipboard mode="Disabled"/>
-      <DragAndDrop mode="Disabled"/>
-      <IO>
-        <IoCache enabled="true" size="5"/>
-        <BandwidthGroups/>
-      </IO>
-      <HostPci>
-        <Devices/>
-      </HostPci>
-      <EmulatedUSB>
-        <CardReader enabled="false"/>
-      </EmulatedUSB>
-      <Guest memoryBalloonSize="0"/>
-      <GuestProperties/>
-    </Hardware>
-    <StorageControllers>
-      <StorageController name="SATA" type="AHCI" PortCount="2" useHostIOCache="true" Bootable="true">
-        <AttachedDevice type="HardDisk" port="0" device="0">
-          <Image uuid="{78a3a6a1-ade6-41bf-8b29-ec7cf16de4bb}"/>
-        </AttachedDevice>
-        <AttachedDevice passthrough="false" type="DVD" port="1" device="0"/>
-      </StorageController>
-    </StorageControllers>
-  </Machine>
-</VirtualBox>
diff --git a/repos/ports/run/vm_ubuntu_14_04_64.vbox b/repos/ports/run/vm_ubuntu_14_04_64.vbox
deleted file mode 100644
index b7c814f63d..0000000000
--- a/repos/ports/run/vm_ubuntu_14_04_64.vbox
+++ /dev/null
@@ -1,99 +0,0 @@
-<?xml version="1.0"?>
-<!--
-** DO NOT EDIT THIS FILE.
-** If you make changes to this file while any VirtualBox related application
-** is running, your changes will be overwritten later, without taking effect.
-** Use VBoxManage or the VirtualBox Manager GUI to make changes.
--->
-<VirtualBox xmlns="http://www.innotek.de/VirtualBox-settings" version="1.14-linux">
-  <Machine uuid="{37ab43a5-38d8-4491-93f5-5b0b077f5c32}" name="ubuntu_14_04_64" OSType="Ubuntu_64" snapshotFolder="Snapshots" lastStateChange="2014-11-14T11:58:35Z">
-    <MediaRegistry>
-      <HardDisks>
-        <HardDisk uuid="{58c7c166-9df5-45cf-b12c-a3132ac90078}" location="/ubuntu_14_04_64.vdi" format="VDI" type="Immutable">
-          <HardDisk uuid="{78a3a6a1-ade6-41bf-8b29-ec7cf16de4bb}" location="/ram/overlay_ubuntu_14_04_64.vdi" format="VDI" autoReset="true"/>
-        </HardDisk>
-      </HardDisks>
-      <DVDImages/>
-      <FloppyImages/>
-    </MediaRegistry>
-    <ExtraData/>
-    <Hardware version="2">
-      <CPU count="2" hotplug="false">
-        <HardwareVirtEx enabled="true"/>
-        <HardwareVirtExNestedPaging enabled="true"/>
-        <HardwareVirtExVPID enabled="true"/>
-        <HardwareVirtExUX enabled="true"/>
-        <PAE enabled="true"/>
-        <LongMode enabled="true"/>
-        <HardwareVirtExLargePages enabled="false"/>
-        <HardwareVirtForce enabled="false"/>
-      </CPU>
-      <Memory RAMSize="1024" PageFusion="false"/>
-      <HID Pointing="USBTablet" Keyboard="PS2Keyboard"/>
-      <HPET enabled="false"/>
-      <Chipset type="PIIX3"/>
-      <Boot>
-        <Order position="1" device="Floppy"/>
-        <Order position="2" device="DVD"/>
-        <Order position="3" device="HardDisk"/>
-        <Order position="4" device="None"/>
-      </Boot>
-      <Display VRAMSize="20" monitorCount="1" accelerate3D="false" accelerate2DVideo="false"/>
-      <VideoCapture enabled="false" screens="18446744073709551615" horzRes="1024" vertRes="768" rate="512" fps="25"/>
-      <RemoteDisplay enabled="false" authType="Null"/>
-      <BIOS>
-        <ACPI enabled="true"/>
-        <IOAPIC enabled="true"/>
-        <Logo fadeIn="true" fadeOut="true" displayTime="0"/>
-        <BootMenu mode="MessageAndMenu"/>
-        <TimeOffset value="0"/>
-        <PXEDebug enabled="false"/>
-      </BIOS>
-      <USB>
-        <Controllers>
-          <Controller name="OHCI" type="OHCI"/>
-        </Controllers>
-        <DeviceFilters/>
-      </USB>
-      <Network>
-        <Adapter slot="0" enabled="false" MACAddress="0800271D7901" cable="true" speed="0" type="82540EM">
-          <HostInterface/>
-          <DisabledModes/>
-        </Adapter>
-      </Network>
-      <UART>
-        <Port slot="0" enabled="false" IOBase="0x3f8" IRQ="4" hostMode="Disconnected"/>
-        <Port slot="1" enabled="false" IOBase="0x2f8" IRQ="3" hostMode="Disconnected"/>
-      </UART>
-      <LPT>
-        <Port slot="0" enabled="false" IOBase="0x378" IRQ="7"/>
-        <Port slot="1" enabled="false" IOBase="0x378" IRQ="7"/>
-      </LPT>
-      <AudioAdapter controller="HDA" driver="Pulse" enabled="false"/>
-      <RTC localOrUTC="UTC"/>
-      <SharedFolders/>
-      <Clipboard mode="Disabled"/>
-      <DragAndDrop mode="Disabled"/>
-      <IO>
-        <IoCache enabled="true" size="5"/>
-        <BandwidthGroups/>
-      </IO>
-      <HostPci>
-        <Devices/>
-      </HostPci>
-      <EmulatedUSB>
-        <CardReader enabled="false"/>
-      </EmulatedUSB>
-      <Guest memoryBalloonSize="0"/>
-      <GuestProperties/>
-    </Hardware>
-    <StorageControllers>
-      <StorageController name="SATA" type="AHCI" PortCount="2" useHostIOCache="true" Bootable="true">
-        <AttachedDevice type="HardDisk" port="0" device="0">
-          <Image uuid="{78a3a6a1-ade6-41bf-8b29-ec7cf16de4bb}"/>
-        </AttachedDevice>
-        <AttachedDevice passthrough="false" type="DVD" port="1" device="0"/>
-      </StorageController>
-    </StorageControllers>
-  </Machine>
-</VirtualBox>
diff --git a/tool/autopilot.list b/tool/autopilot.list
index 2b92d1d7aa..a4db8f207f 100644
--- a/tool/autopilot.list
+++ b/tool/autopilot.list
@@ -63,8 +63,6 @@ tz_vmm
 usb_hid
 usb_hid_raw
 vbox5_genode_usb_hid
-vbox5_ubuntu_14_04_32
-vbox5_ubuntu_14_04_64
 vbox5_ubuntu_16_04_32
 vbox5_ubuntu_16_04_64
 vbox5_vm_ubuntu_16_04_32