diff --git a/repos/dde_linux/run/nic_router_uplinks.run b/repos/dde_linux/run/nic_router_uplinks.run
index beb582b66d..5ef4bd97d5 100644
--- a/repos/dde_linux/run/nic_router_uplinks.run
+++ b/repos/dde_linux/run/nic_router_uplinks.run
@@ -348,8 +348,6 @@ append config {
 
 install_config $config
 
-exec cp ${genode_dir}/repos/ports/run/virtualbox_nic_router.vbox bin/.
-
 append boot_modules {
 	iwlwifi-6000-4.ucode
 	iwlwifi-6000g2a-6.ucode
diff --git a/repos/os/src/server/nic_router/README b/repos/os/src/server/nic_router/README
index e84a616b0e..1e83c8179c 100644
--- a/repos/os/src/server/nic_router/README
+++ b/repos/os/src/server/nic_router/README
@@ -564,7 +564,7 @@ This section will list and explain some interesting configuration snippets. A
 comprehensive example of how to use the router (except DHCP server
 functionality) can be found in the test script 'libports/run/nic_router.run'.
 For an example of how to use the DHCP server and the DHCP client functionality
-see the 'ports/run/virtualbox_nic_router.run' script.
+see the 'os/run/ping_nic_router.run' script.
 
 The environment for the examples shall be as
 follows. There are two virtual subnets 192.168.1.0/24 and 192.168.2.0/24 that
diff --git a/repos/ports/run/virtualbox_nic_router.vbox b/repos/ports/run/virtualbox_nic_router.vbox
deleted file mode 100644
index 7d303ae0db..0000000000
--- a/repos/ports/run/virtualbox_nic_router.vbox
+++ /dev/null
@@ -1,101 +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="{410f6221-6237-4833-b02c-a54000b7b190}" name="Tinycore" OSType="Linux26" snapshotFolder="Snapshots" lastStateChange="2014-10-30T13:26:17Z">
-    <MediaRegistry>
-      <HardDisks/>
-      <DVDImages>
-        <Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}" location="test.iso"/>
-      </DVDImages>
-      <FloppyImages/>
-    </MediaRegistry>
-    <ExtraData>
-      <ExtraDataItem name="GUI/LastGuestSizeHint" value="720,400"/>
-      <ExtraDataItem name="GUI/LastNormalWindowPosition" value="513,100,720,422"/>
-    </ExtraData>
-    <Hardware version="2">
-      <CPU count="1" hotplug="false">
-        <HardwareVirtEx enabled="true"/>
-        <HardwareVirtExNestedPaging enabled="true"/>
-        <HardwareVirtExVPID enabled="true"/>
-        <HardwareVirtExUX enabled="false"/>
-        <PAE enabled="false"/>
-        <LongMode enabled="false"/>
-        <HardwareVirtExLargePages enabled="false"/>
-        <HardwareVirtForce enabled="false"/>
-      </CPU>
-      <Memory RAMSize="256" PageFusion="false"/>
-      <HID Pointing="PS2Mouse" 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="12" monitorCount="1" accelerate3D="false" accelerate2DVideo="false"/>
-      <VideoCapture enabled="false" screens="18446744073709551615" horzRes="1024" vertRes="768" rate="512" fps="25"/>
-      <RemoteDisplay enabled="false" authType="Null" authTimeout="5000"/>
-      <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="true" MACAddress="0800271D7901" cable="true" speed="0" type="82540EM">
-          <HostInterface/>
-          <DisabledModes/>
-        </Adapter>
-      </Network>
-      <UART>
-        <Port slot="0" enabled="true" IOBase="0x3f8" IRQ="4" path="/dev/terminal" hostMode="HostDevice"/>
-        <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="AC97" 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>
-        <GuestProperty name="/VirtualBox/HostInfo/GUI/LanguageID" value="en_US" timestamp="1414675524029545000" flags=""/>
-      </GuestProperties>
-    </Hardware>
-    <StorageControllers>
-      <StorageController name="IDE" type="PIIX4" PortCount="2" useHostIOCache="true" Bootable="true">
-        <AttachedDevice passthrough="false" tempeject="true" type="DVD" port="1" device="0">
-          <Image uuid="{81763434-9a51-49e8-9444-528a5a28c4bc}"/>
-        </AttachedDevice>
-      </StorageController>
-    </StorageControllers>
-  </Machine>
-</VirtualBox>