From 7feb1d065690f9988171eba89d6885aa71f645b2 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Tue, 14 May 2019 10:04:56 +0200
Subject: [PATCH] Move Seoul packages, index update

---
 build-x86_64/tup.config                       |   4 +-
 index.xml                                     |  45 ++++----
 runtimes/alpine/alpine_seoul_nova/Tupfile     |  16 ---
 .../alpine_seoul_nova/installer/Tupfile       |  23 ----
 .../alpine_seoul_nova/installer/runtime.in    | 101 ------------------
 .../alpine_seoul_nova/installer/vm_seoul.cfg  |  39 -------
 runtimes/alpine/alpine_seoul_nova/runtime     |  87 ---------------
 .../alpine/alpine_seoul_nova/vm_seoul.cfg     |  38 -------
 vm/seoul-nova/Tupfile                         |   3 +-
 vm/seoul-nova/runtime                         |   2 +-
 vm/seoul-nova/vm_seoul.cfg                    |   2 +-
 11 files changed, 31 insertions(+), 329 deletions(-)
 delete mode 100644 runtimes/alpine/alpine_seoul_nova/Tupfile
 delete mode 100644 runtimes/alpine/alpine_seoul_nova/installer/Tupfile
 delete mode 100644 runtimes/alpine/alpine_seoul_nova/installer/runtime.in
 delete mode 100644 runtimes/alpine/alpine_seoul_nova/installer/vm_seoul.cfg
 delete mode 100644 runtimes/alpine/alpine_seoul_nova/runtime
 delete mode 100644 runtimes/alpine/alpine_seoul_nova/vm_seoul.cfg

diff --git a/build-x86_64/tup.config b/build-x86_64/tup.config
index 4efa6eed5..1a1a03c90 100644
--- a/build-x86_64/tup.config
+++ b/build-x86_64/tup.config
@@ -39,7 +39,8 @@ CONFIG_PUBLIC_SRC_POSIX=genodelabs/src/posix/2019-03-17
 CONFIG_PUBLIC_SRC_RAM_BLOCK=alex-ab/src/ram_block/2019-02-25
 CONFIG_PUBLIC_SRC_REPORT_ROM=genodelabs/src/report_rom/2019-03-17
 CONFIG_PUBLIC_SRC_ROM_BLOCK=ehmry/src/rom_block/2019-04-05-a
-CONFIG_PUBLIC_SRC_SEOUL_NOVA=ehmry/src/seoul-nova/2019-04-16
+CONFIG_PUBLIC_SRC_SDL=ehmry/src/sdl/19.02
+CONFIG_PUBLIC_SRC_SEOUL_NOVA=ehmry/src/seoul-nova/2019-05-01-a
 CONFIG_PUBLIC_SRC_SHOW_INPUT=ehmry/src/show_input/2019-04-07
 CONFIG_PUBLIC_SRC_SSH_CLIENT=ehmry/src/ssh_client/2019-04-08
 CONFIG_PUBLIC_SRC_STDCXX=genodelabs/src/stdcxx/2019-02-25
@@ -49,6 +50,7 @@ CONFIG_PUBLIC_SRC_VFS_AUDIT=ehmry/src/vfs_audit/2019-04-20
 CONFIG_PUBLIC_SRC_VFS=genodelabs/src/vfs/2019-03-18
 CONFIG_PUBLIC_SRC_VFS_JITTERENTROPY=ehmry/src/vfs_jitterentropy/2019-03-17
 CONFIG_PUBLIC_SRC_VFS_LWIP=ehmry/src/vfs_lwip/2019-04-01
+CONFIG_PUBLIC_SRC_VFS_LXIP=cproc/src/vfs_lxip/2019-03-18
 CONFIG_PUBLIC_SRC_VFS_TTF=ehmry/src/vfs_ttf/2019-03-17
 CONFIG_PUBLIC_SRC_WINDOW_LAYOUTER=genodelabs/src/window_layouter/2019-03-17
 CONFIG_PUBLIC_SRC_WM=genodelabs/src/wm/2019-03-17
diff --git a/index.xml b/index.xml
index 8943ee86e..f8c7f3cdd 100644
--- a/index.xml
+++ b/index.xml
@@ -12,7 +12,6 @@
 			<pkg path="_/pkg/240pSuite-SNES" info="SNES tests"/>
 			<pkg path="_/pkg/advanced_tests" info="An advanced test core written in C"/>
 			<pkg path="_/pkg/button_test" info="Libretro joypad button test"/>
-			<pkg path="_/pkg/cruzes" info="An unfinished Picross game"/>
 			<pkg path="_/pkg/simple_tests" info="A test core written in C"/>
 			<pkg path="_/pkg/topbench_dosbox-libretro" info="The Oldskool PC Benchmark running in DOSBox"/>
 			<pkg path="_/pkg/topbench_dosbox-svn" info="The Oldskool PC Benchmark running in DOSBox"/>
@@ -20,47 +19,55 @@
 	</index>
 
 	<index name="Games">
-		<pkg path="ehmry/pkg/abuse/2019-03-20" info="Side-scrolling shooter"/>
 		<pkg path="_/pkg/2048" info="Threes! clone"/>
+		<pkg path="ehmry/pkg/abuse/2019-03-20" info="Side-scrolling shooter"/>
 		<pkg path="_/pkg/cave_story-en" info="Cave Story ~ Doukutsu Monogatari is a jumping-and-shooting action game."/>
 		<pkg path="_/pkg/mrboom" info="Bomberman clone"/>
+		<pkg path="_/pkg/quake_dopa" info="Quake Episode 5: Dimension of the Past (id1/pak1.pak required)"/>
 		<pkg path="_/pkg/streemerz" info="Streemerz remake"/>
-		<pkg path="_/pkg/tyrquake" info="Tyrquake"/>
+		<pkg path="_/pkg/tyrquake" info="Quake (shareware pak)"/>
 	</index>
 
 	<index name="Block devices">
-		<pkg path="_/pkg/dummy_block" info="Dummy block device"/>
 		<pkg path="_/pkg/alpine-standard-x86" info="Alpine live ISO service"/>
 		<pkg path="_/pkg/alpine-virt-x86_64" info="Alpine live ISO service"/>
-		<pkg path="_/pkg/ReactOS-live" info="ReactOS live ISO service"/>
+		<pkg path="_/pkg/dummy_block" info="Dummy block device"/>
 		<pkg path="_/pkg/fs_block_4G" info="File-system backed 4GiB block device"/>
 		<pkg path="_/pkg/fs_block_8G" info="File-system backed 8GiB block device"/>
+		<pkg path="_/pkg/ReactOS-live" info="ReactOS live ISO service"/>
 	</index>
 
 	<index name="VMMs">
 		<pkg path="genodelabs/pkg/vbox5-nova-sculpt/2019-03-18" info="VBox5 for running Linux"/>
+		<pkg path="_/pkg/seoul-nova" info="Seoul VMM with routable block devices"/>
 		<index name="Installers">
 			<pkg path="_/pkg/fetch_alpine_x86_64" info="Fetch Alpine Linux virt ISO"/>
 			<pkg path="_/pkg/fetch_nixos_x86_64" info="Fetch NixOS minimal ISO"/>
 			<pkg path="_/pkg/fetch_ubuntu_x86_64" info="Fetch Ubuntu netboot installer ISO"/>
 		</index>
 		<index name="Experimental">
-			<index name="Alpine">
-				<pkg path="_/pkg/installer-alpine_seoul_nova" info="Alpine Linux as a Seoul VMM guest installer with 8GiB disk"/>
-				<pkg path="_/pkg/alpine_seoul_nova" info="Alpine Linux as a Seoul VMM guest"/>
-			</index>
+			<pkg path="_/pkg/alpine_seoul_nova_installer" info="Alpine Linux installer as a Seoul VMM with routeable block device"/>
+			<pkg path="_/pkg/openbsd_seoul_nova_installer" info="OpenBSD installer as a Seoul VMM with routeable block device"/>
 			<pkg path="_/pkg/vbox5-nova" info="Vbox with routable block devices"/>
 		</index>
 	</index>
 
 	<index name="Operating system demos">
+		<pkg path="_/pkg/ban.ai_multics" info="BAN.AI Public Access Multics"/>
 		<pkg path="_/pkg/oberon" info="Oberon RISC emulator (requires three-button mouse)"/>
 		<pkg path="_/pkg/soyuz" info="Training program for the Soyuz-TMA spacecraft"/>
 		<pkg path="_/pkg/templeos" info="The Temple Operating System hosted in VirtualBox for NOVA"/>
-		<pkg path="_/pkg/ban.ai_multics" info="BAN.AI Public Access Multics"/>
 	</index>
 
-	<index name="Utilities">
+	<index name="Utility">
+		<index name="Graphic">
+			<!-- <pkg path="ehmry/pkg/flif_capture/2019-03-22" info="Screen capture utility"/> -->
+			<pkg path="_/pkg/backdrop" info="Nitpicker backdrop"/>
+			<pkg path="ehmry/pkg/flif_view/2019-03-22" info="FLIF file viewer (experimental)"/>
+			<pkg path="ehmry/pkg/grafx2/2019-03-19" info="Bitmap paint program (ported by cnuke)"/>
+		</index>
+
+
 		<index name="Network">
 			<pkg path="_/pkg/nic_bridge" info="Ethernet bridge"/>
 			<pkg path="_/pkg/nic_bridge_logged" info="Logged ethernet bridge"/>
@@ -71,14 +78,12 @@
 			<pkg path="_/pkg/test-lwip_node" info="Standalone lwIP IPv6 node"/>
 		</index>
 
-		<!-- <pkg path="ehmry/pkg/flif_capture/2019-03-22" info="Screen capture utility"/> -->
-		<pkg path="_/pkg/backdrop" info="Nitpicker backdrop"/>
-		<pkg path="_/pkg/block_shred" info="Fill a block device with psuedo-random noise"/>
-		<pkg path="_/pkg/depot_9P" info="Serve /depot/local over 9P"/>
-		<pkg path="ehmry/pkg/flif_view/2019-03-22" info="FLIF file viewer"/>
-		<pkg path="ehmry/pkg/grafx2/2019-03-19" info="Bitmap paint program (ported by cnuke)"/>
-		<pkg path="ehmry/pkg/jitter_sponge/2019-03-31" info="Entropy source"/>
-		<pkg path="ehmry/pkg/noux-build-x86/2019-03-20" info="Noux build environment"/>
+		<index name="Other">
+			<pkg path="_/pkg/block_shred" info="Fill a block device with psuedo-random noise"/>
+			<pkg path="_/pkg/depot_9P" info="Serve /depot/local over 9P"/>
+			<pkg path="ehmry/pkg/jitter_sponge/2019-03-31" info="Entropy source"/>
+			<pkg path="ehmry/pkg/noux-build-x86/2019-03-20" info="Noux build environment"/>
+		</index>
 	</index>
 
 	<index name="Experimental">
@@ -86,6 +91,7 @@
 		<pkg path="ehmry/pkg/avplay/2019-04-24"/>
 		<pkg path="_/pkg/blob_service"/>
 		<pkg path="_/pkg/bluemsx"/>
+		<pkg path="_/pkg/cruzes" info="An unfinished Picross Libretro core"/>
 		<pkg path="_/pkg/ifm1"/>
 		<pkg path="_/pkg/ifm2"/>
 		<pkg path="_/pkg/ifm3"/>
@@ -93,7 +99,6 @@
 		<pkg path="_/pkg/mu"/>
 		<pkg path="_/pkg/musicbrainz_playlist_generator"/>
 		<pkg path="_/pkg/testgl"/>
-		<pkg path="_/pkg/themenabend_slides"/>
 	</index>
 
 	<pkg path="_/pkg/chroot" info="Automatic file-system session partitioner"/>
diff --git a/runtimes/alpine/alpine_seoul_nova/Tupfile b/runtimes/alpine/alpine_seoul_nova/Tupfile
deleted file mode 100644
index dcfcf4f11..000000000
--- a/runtimes/alpine/alpine_seoul_nova/Tupfile
+++ /dev/null
@@ -1,16 +0,0 @@
-TARGET_NAME = alpine_seoul_nova
-include_rules
-
-: vm_seoul.cfg |> !collect_raw |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_BASE_NOVA) \
-	@(PUBLIC_SRC_INIT) \
-	@(PUBLIC_SRC_NIT_FB) \
-	@(PUBLIC_SRC_SEOUL_NOVA) \
-	_/src/fs_block \
-	_/raw/$(TARGET_NAME) \
-
-: runtime |> !collect_pkg_runtime |>
-
-include $(RAW_RULES)
diff --git a/runtimes/alpine/alpine_seoul_nova/installer/Tupfile b/runtimes/alpine/alpine_seoul_nova/installer/Tupfile
deleted file mode 100644
index 113533561..000000000
--- a/runtimes/alpine/alpine_seoul_nova/installer/Tupfile
+++ /dev/null
@@ -1,23 +0,0 @@
-TARGET_NAME = installer-alpine_seoul_nova
-include ../../../../vm/alpine/version.tup
-include_rules
-
-: vm_seoul.cfg |> !collect_raw |>
-
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_BASE_NOVA) \
-	@(PUBLIC_SRC_INIT) \
-	@(PUBLIC_SRC_NIT_FB) \
-	@(PUBLIC_SRC_ROM_BLOCK) \
-	@(PUBLIC_SRC_SEOUL_NOVA) \
-	_/src/fs_block \
-	_/raw/alpine-standard-x86 \
-	_/raw/$(TARGET_NAME) \
-
-ISO_NAME = alpine-standard-$(ALPINE_VERSION)-x86.iso
-
-: runtime.in |> sed 's/@ISO_NAME@/$(ISO_NAME)/' %f > %o |> runtime
-: runtime |> !collect_pkg_runtime |>
-
-include $(RAW_RULES)
diff --git a/runtimes/alpine/alpine_seoul_nova/installer/runtime.in b/runtimes/alpine/alpine_seoul_nova/installer/runtime.in
deleted file mode 100644
index 8c6a1453c..000000000
--- a/runtimes/alpine/alpine_seoul_nova/installer/runtime.in
+++ /dev/null
@@ -1,101 +0,0 @@
-<runtime ram="1380M" caps="2200" binary="init">
-
-	<requires>
-		<file_system/>
-		<nic/>
-		<rom label="platform_info"/>
-		<nitpicker/>
-		<rm/>
-		<rtc/>
-	</requires>
-
-	<content>
-		<rom label="@ISO_NAME@"/>
-		<rom label="fs_block"/>
-		<rom label="init"/>
-		<rom label="nit_fb"/>
-		<rom label="rom_block"/>
-		<rom label="seoul"/>
-		<rom label="timer"/>
-		<rom label="vm_seoul.cfg"/>
-	</content>
-
-	<config verbose="yes" prio_levels="2">
-
-		<parent-provides>
-			<service name="ROM"/>
-			<service name="PD"/>
-			<service name="RM"/>
-			<service name="CPU"/>
-			<service name="LOG"/>
-			<service name="File_system"/>
-			<service name="Nitpicker"/>
-			<service name="Rtc"/>
-			<service name="Nic"/>
-		</parent-provides>
-
-		<default caps="100"/>
-
-		<start name="timer">
-			<resource name="RAM" quantum="1M"/>
-			<provides><service name="Timer"/></provides>
-			<config/>
-			<route>
-				<service name="ROM" label="platform_info">
-					<parent label="platform_info"/> </service>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="nit_fb" priority="0">
-			<resource name="RAM" quantum="8M" />
-			<provides>
-				<service name="Framebuffer" /> <service name="Input" />
-			</provides>
-			<config initial_width="640" initial_height="400"/>
-			<route>
-				<service name="Nitpicker"> <parent label=""/> </service>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="rom_block" priority="-1">
-			<resource name="RAM" quantum="2M" />
-			<provides><service name="Block"/></provides>
-			<config file="@ISO_NAME@" block_size="512"/>
-			<route>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="fs_block" priority="-1">
-			<resource name="RAM" quantum="8M" />
-			<provides><service name="Block"/></provides>
-			<config>
-				 <default-policy file="alpine.disk" block_size="512" device_size="8G" writeable="yes"/>
-			</config>
-			<route>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="seoul" priority="-1" caps="200" ld="no">
-			<binary name="seoul"/>
-			<resource name="RAM" quantum="1024M"/>
-			<route>
-				<service name="ROM" label="platform_info">
-					<parent label="platform_info"/> </service>
-				<service name="Timer">      <child name="timer"/></service>
-				<service name="Framebuffer"><child name="nit_fb"/></service>
-				<service name="Input">      <child name="nit_fb"/></service>
-				<service name="Block" label_suffix="1">
-					<child name="fs_block"/></service>
-				<service name="Block" label_suffix="0">
-					<child name="rom_block"/></service>
-				<any-service><parent/></any-service>
-			</route>
-			<configfile name="vm_seoul.cfg"/>
-		</start>
-	</config>
-
-</runtime>
diff --git a/runtimes/alpine/alpine_seoul_nova/installer/vm_seoul.cfg b/runtimes/alpine/alpine_seoul_nova/installer/vm_seoul.cfg
deleted file mode 100644
index 35bcefe13..000000000
--- a/runtimes/alpine/alpine_seoul_nova/installer/vm_seoul.cfg
+++ /dev/null
@@ -1,39 +0,0 @@
-<config colocate="1">
-	<machine>
-		<mem start="0x0" end="0x9a000"/>
-		<mem start="0x100000" end="0xfffff000"/>
-		<!--<ioio/>-->
-		<nullio io_base="0x80" />
-		<pic io_base="0x20" elcr_base="0x4d0"/>
-		<pic io_base="0xa0" irq="2" elcr_base="0x4d1"/>
-		<pit io_base="0x40" irq="0"/>
-		<scp io_port_a="0x92" io_port_b="0x61"/>
-		<kbc io_base="0x60" irq_kbd="1" irq_aux="12"/>
-		<keyb ps2_port="0" host_keyboard="0x10000"/>
-		<mouse ps2_port="1" host_mouse="0x10001"/>
-		<rtc io_base="0x70" irq="8"/>
-		<serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/>
-		<hostsink host_dev="0x4712" buffer="80"/>
-		<vga io_base="0x03c0"/>
-
-		<vbios_disk/>
-		<vbios_keyboard host_keyboard="0x10000"/>
-		<vbios_mem/>
-		<vbios_time/>
-		<vbios_reset/>
-
-		<msi/>
-		<ioapic/>
-		<pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8"
-		               mem_base="0xe0000000"/>
-		<pmtimer io_port="0x8000"/>
-
-		<vcpu/> <halifax/> <vbios/> <lapic/>
-
-		<ahci mem="0xe0800000" irq="14" bdf="0x30"/>
-		<drive sigma0drive="0" controller="0" port="0"/>
-		<drive sigma0drive="1" controller="0" port="1"/>
-		<intel82576vf/>
-	</machine>
-	<multiboot/>
-</config>
diff --git a/runtimes/alpine/alpine_seoul_nova/runtime b/runtimes/alpine/alpine_seoul_nova/runtime
deleted file mode 100644
index 17d985012..000000000
--- a/runtimes/alpine/alpine_seoul_nova/runtime
+++ /dev/null
@@ -1,87 +0,0 @@
-<runtime ram="1380M" caps="2200" binary="init">
-
-	<requires>
-		<file_system/>
-		<nic/>
-		<rom label="platform_info"/>
-		<nitpicker/>
-		<rm/>
-		<rtc/>
-	</requires>
-
-	<content>
-		<rom label="fs_block"/>
-		<rom label="init"/>
-		<rom label="nit_fb"/>
-		<rom label="seoul"/>
-		<rom label="timer"/>
-		<rom label="vm_seoul.cfg"/>
-	</content>
-
-	<config verbose="yes" prio_levels="2">
-
-		<parent-provides>
-			<service name="ROM"/>
-			<service name="PD"/>
-			<service name="RM"/>
-			<service name="CPU"/>
-			<service name="LOG"/>
-			<service name="File_system"/>
-			<service name="Nitpicker"/>
-			<service name="Rtc"/>
-			<service name="Nic"/>
-		</parent-provides>
-
-		<default caps="100"/>
-
-		<start name="timer">
-			<resource name="RAM" quantum="1M"/>
-			<provides><service name="Timer"/></provides>
-			<config/>
-			<route>
-				<service name="ROM" label="platform_info">
-					<parent label="platform_info"/> </service>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="nit_fb" priority="0">
-			<resource name="RAM" quantum="8M" />
-			<provides>
-				<service name="Framebuffer" /> <service name="Input" />
-			</provides>
-			<config initial_width="640" initial_height="400"/>
-			<route>
-				<service name="Nitpicker"> <parent label=""/> </service>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="fs_block" priority="-1">
-			<resource name="RAM" quantum="8M" />
-			<provides><service name="Block"/></provides>
-			<config>
-				 <default-policy file="alpine.disk" block_size="512" writeable="yes"/>
-			</config>
-			<route>
-				<any-service> <parent/> </any-service>
-			</route>
-		</start>
-
-		<start name="seoul" priority="-1" caps="200" ld="no">
-			<binary name="seoul"/>
-			<resource name="RAM" quantum="1024M"/>
-			<route>
-				<service name="ROM" label="platform_info">
-					<parent label="platform_info"/> </service>
-				<service name="Timer">      <child name="timer"/></service>
-				<service name="Framebuffer"><child name="nit_fb"/></service>
-				<service name="Input">      <child name="nit_fb"/></service>
-				<service name="Block">      <child name="fs_block"/></service>
-				<any-service><parent/></any-service>
-			</route>
-			<configfile name="vm_seoul.cfg"/>
-		</start>
-	</config>
-
-</runtime>
diff --git a/runtimes/alpine/alpine_seoul_nova/vm_seoul.cfg b/runtimes/alpine/alpine_seoul_nova/vm_seoul.cfg
deleted file mode 100644
index 0d6e7f805..000000000
--- a/runtimes/alpine/alpine_seoul_nova/vm_seoul.cfg
+++ /dev/null
@@ -1,38 +0,0 @@
-<config colocate="1">
-	<machine>
-		<mem start="0x0" end="0x9a000"/>
-		<mem start="0x100000" end="0xfffff000"/>
-		<!--<ioio/>-->
-		<nullio io_base="0x80" />
-		<pic io_base="0x20" elcr_base="0x4d0"/>
-		<pic io_base="0xa0" irq="2" elcr_base="0x4d1"/>
-		<pit io_base="0x40" irq="0"/>
-		<scp io_port_a="0x92" io_port_b="0x61"/>
-		<kbc io_base="0x60" irq_kbd="1" irq_aux="12"/>
-		<keyb ps2_port="0" host_keyboard="0x10000"/>
-		<mouse ps2_port="1" host_mouse="0x10001"/>
-		<rtc io_base="0x70" irq="8"/>
-		<serial io_base="0x3f8" irq="0x4" host_serial="0x4711"/>
-		<hostsink host_dev="0x4712" buffer="80"/>
-		<vga io_base="0x03c0"/>
-
-		<vbios_disk/>
-		<vbios_keyboard host_keyboard="0x10000"/>
-		<vbios_mem/>
-		<vbios_time/>
-		<vbios_reset/>
-
-		<msi/>
-		<ioapic/>
-		<pcihostbridge bus_num="0" bus_count="0x10" io_base="0xcf8"
-		               mem_base="0xe0000000"/>
-		<pmtimer io_port="0x8000"/>
-
-		<vcpu/> <halifax/> <vbios/> <lapic/>
-
-		<ahci mem="0xe0800000" irq="14" bdf="0x30"/>
-		<drive sigma0drive="0" controller="0" port="0"/>
-		<intel82576vf/>
-	</machine>
-	<multiboot/>
-</config>
diff --git a/vm/seoul-nova/Tupfile b/vm/seoul-nova/Tupfile
index e2ad09a4b..98bdb23a3 100644
--- a/vm/seoul-nova/Tupfile
+++ b/vm/seoul-nova/Tupfile
@@ -1,9 +1,8 @@
-TARGET_NAME = seoul_nova
+TARGET_NAME = seoul-nova
 include_rules
 
 : vm_seoul.cfg |> !collect_raw |>
 
-
 PKG_DEPENDS += \
 	@(PUBLIC_SRC_BASE_NOVA) \
 	@(PUBLIC_SRC_INIT) \
diff --git a/vm/seoul-nova/runtime b/vm/seoul-nova/runtime
index 4320b828d..9ee01bb52 100644
--- a/vm/seoul-nova/runtime
+++ b/vm/seoul-nova/runtime
@@ -51,7 +51,7 @@
 			<provides>
 				<service name="Framebuffer" /> <service name="Input" />
 			</provides>
-			<config initial_width="640" initial_height="400"/>
+			<config initial_width="720" initial_height="480"/>
 			<route>
 				<service name="Nitpicker"> <parent label=""/> </service>
 				<any-service> <parent/> </any-service>
diff --git a/vm/seoul-nova/vm_seoul.cfg b/vm/seoul-nova/vm_seoul.cfg
index 35bcefe13..a0f3569d0 100644
--- a/vm/seoul-nova/vm_seoul.cfg
+++ b/vm/seoul-nova/vm_seoul.cfg
@@ -33,7 +33,7 @@
 		<ahci mem="0xe0800000" irq="14" bdf="0x30"/>
 		<drive sigma0drive="0" controller="0" port="0"/>
 		<drive sigma0drive="1" controller="0" port="1"/>
-		<intel82576vf/>
+		<rtl8029 irq="9" port="0x300"/>
 	</machine>
 	<multiboot/>
 </config>