Remove libretro

2019-08-10 11:42:03 +02:00 · 2019-08-10 11:42:03 +02:00 · d3b4936935
parent 74090333a9
commit d3b4936935
83 changed files with 0 additions and 1923 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -16,63 +16,12 @@
 [submodule "nimble/ninep"]
 	path = nim/ninep
 	url = git://depot.h4ck.me/srv/git/ninep
-[submodule "libretro/libretro-common"]
-	path = libretro/libretro-common
-	url = https://github.com/libretro/libretro-common.git
-[submodule "libretro/retro_frontend"]
-	path = libretro/retro_frontend
-	url = git://depot.h4ck.me/srv/git/retro_frontend
-[submodule "libretro/cores/2048/core"]
-	path = libretro/cores/2048/upstream
-	url = https://github.com/libretro/libretro-2048
-[submodule "libretro/cores/4do/core"]
-	path = libretro/cores/4do/upstream
-	url = https://github.com/libretro/4do-libretro.git
-[submodule "libretro/cores/fceumm/core"]
-	path = libretro/cores/fceumm/upstream
-	url = https://github.com/libretro/libretro-fceumm.git
-[submodule "libretro/cores/mgba/core"]
-	path = libretro/cores/mgba/upstream
-	url = https://github.com/libretro/mgba.git
-[submodule "libretro/cores/nxengine/core"]
-	path = libretro/cores/nxengine/upstream
-	url = git://depot.h4ck.me/srv/git/nxengine
-[submodule "libretro/cores/oberon/core"]
-	path = libretro/cores/oberon/upstream
-	url = git@github.com:ehmry/oberon-risc-libretro.git
-[submodule "libretro/cores/snes9x/core"]
-	path = libretro/cores/snes9x/upstream
-	url = https://github.com/libretro/snes9x.git
-[submodule "libretro/cores/tyrquake/core"]
-	path = libretro/cores/tyrquake/upstream
-	url = https://github.com/libretro/tyrquake
-[submodule "libretro/cores/samples"]
-	path = libretro/cores/samples/upstream
-	url = https://github.com/libretro/libretro-samples
-[submodule "libretro/cores/dosbox/core"]
-	path = libretro/cores/dosbox-libretro/upstream
-	url = https://github.com/libretro/dosbox-libretro
-[submodule "libretro/cores/mrboom/core"]
-	path = libretro/cores/mrboom/upstream
-	url = git@github.com:ehmry/mrboom-libretro.git
-[submodule "libretro/cores/gambatte/core"]
-	path = libretro/cores/gambatte/upstream
-	url = git@github.com:github.com/ehmry/gambatte-libretro.git
-[submodule "libretro/cores/dinothawr/core"]
-	path = libretro/cores/dinothawr/core
-	url = https://github.com/libretro/Dinothawr
 [submodule "nimble/nim-monero"]
 	path = nim/nim-monero
 	url = git://depot.h4ck.me/srv/git/nim-monero
 [submodule "libretro/cores/scummvm/upstream"]
 	path = libretro/cores/scummvm/upstream
 	url = https://github.com/libretro/scummvm.git
-[submodule "libretro/cores/lutro/upstream"]
-	path = libretro/cores/lutro/upstream
-	url = git@github.com:ehmry/libretro-lutro.git
-[submodule "libretro/cores/bluemsx/upstream"]
-	path = libretro/cores/bluemsx/upstream
-	url = git@github.com:ehmry/blueMSX-libretro.git
 [submodule "nimble/fetch_and_copy"]
 	path = nim/fetch_and_copy
 	url = git://depot.h4ck.me/srv/git/fetch_and_copy.
@ -85,15 +34,6 @@
 [submodule "nimble/carn"]
 	path = nim/carn_layouter
 	url = git://depot.h4ck.me/srv/git/carn_layouter
-[submodule "libretro/bios/cbios-cbios"]
-	path = libretro/bios/cbios-cbios
-	url = https://git.code.sf.net/p/cbios/cbios
-[submodule "libretro/cores/mu/upstream"]
-	path = libretro/cores/mu/upstream
-	url = https://github.com/meepingsnesroms/Mu.git
-[submodule "libretro/cores/dosbox-svn/upstream"]
-	path = libretro/cores/dosbox-svn/upstream
-	url = https://github.com/libretro/dosbox-svn.git
 [submodule "nim/xspf_view"]
 	path = nim/xspf_view
 	url = git://depot.h4ck.me/srv/git/xspf_view
@ -103,9 +43,6 @@
 [submodule "nim/blobbot"]
 	path = nim/blobbot
 	url = git://depot.h4ck.me/srv/git/blobbot
-[submodule "libretro/cores/yabause/upstream"]
-	path = libretro/cores/yabause/upstream
-	url = https://github.com/libretro/yabause.git
 [submodule "dhall"]
 	path = dhall
 	url = https://github.com/ehmry/dhall-genode.git
--- a/libretro/README.md
+++ b/libretro/README.md
@ -1,3 +0,0 @@
-This directory contains submodules for the Libretro frontend, a version of 
-libretro-common that is know to work with Genode, and a collection of cores and 
-build rules.
--- a/libretro/Tuprules.tup
+++ b/libretro/Tuprules.tup
@ -1,3 +0,0 @@
-LIBRETRO_COMM_DIR = $(TUP_CWD)/libretro-common
-GIT_VERSION = `git describe --always`
-BIN_VERSION = $(GIT_VERSION)
--- a/libretro/bios/cbios-cbios
+++ b/libretro/bios/cbios-cbios
@ -1 +0,0 @@
-Subproject commit d714defae18cc6f3019638a8c7cf6c1d86e33ead
--- a/libretro/cores/2048/Tuprules.tup
+++ b/libretro/cores/2048/Tuprules.tup
@ -1,16 +0,0 @@
-CORE_PKGS += libc libm
-
-CFLAGS += -O3 -Wall -pedantic -std=gnu99
-
-include upstream/Makefile.common
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
-: |> !pkg |>
-
-: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
--- a/libretro/cores/2048/pkg.dhall
+++ b/libretro/cores/2048/pkg.dhall
@ -1,43 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let Prelude = Genode.Prelude
-
-let XML = Prelude.XML
-
-let List/map = Prelude.List.map
-
-let Service = { service : Text, label : Optional Text }
-
-let service = λ(s : Text) → { service = s, label = None Text }
-
-let defaults = ./../../pkgDefaults.dhall
-
-in  { indexInfo =
-        "Threes! clone"
-    , runtime =
-          defaults.runtime
-        ⫽ { resources =
-              { caps = 128, ram = Genode.units.MiB 4 }
-          , requires =
-              List/map Text Service service [ "file_system", "nitpicker" ]
-          , config =
-              XML.text
-              ''
-              	<config>
-              		<libc stdout="/dev/log" stderr="/dev/log"/>
-              		<vfs>
-              			<dir name="dev"> <log label="core"/> </dir>
-              			<fs/>
-              		</vfs>
-              		<default-controller port="0" device="1">
-              			<map from="KEY_LEFT" to="LEFT"/>
-              			<map from="KEY_RIGHT" to="RIGHT"/>
-              			<map from="KEY_UP" to="UP"/>
-              			<map from="KEY_DOWN" to="DOWN"/>
-              			<map from="KEY_ENTER" to="START"/>
-              			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-              		</default-controller>
-              	</config>
-              ''
-          }
-    }
--- a/libretro/cores/2048/upstream
+++ b/libretro/cores/2048/upstream
@ -1 +0,0 @@
-Subproject commit 54d3ddd3c9f81d7bbd5714a670913e46301781c7
--- a/libretro/cores/4do/Tuprules.tup
+++ b/libretro/cores/4do/Tuprules.tup
@ -1,24 +0,0 @@
-CORE_PKGS += libc
-
-DEFINES += -O2 -DNDEBUG
-DEFINES += \
-	-Wall \
-	-Wno-sign-compare \
-	-Wno-unused-variable \
-	-Wno-unused-function \
-	-Wno-uninitialized \
-	-Wno-strict-aliasing \
-	-Wno-overflow \
-	-fno-strict-overflow \
-
-include upstream/Makefile.common
-
-DEFINES += $(FLAGS)
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
--- a/libretro/cores/4do/runtime
+++ b/libretro/cores/4do/runtime
@ -1,43 +0,0 @@
-<runtime ram="16M" caps="128" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<fs/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_S" to="X"/>
-			<map from="KEY_A" to="Y"/>
-			<map from="KEY_Q" to="L"/>
-			<map from="KEY_W" to="R"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/4do/upstream
+++ b/libretro/cores/4do/upstream
@ -1 +0,0 @@
-Subproject commit 216aa7e1ae01a9ac52c856b1d73e4afe5ce0cc1d
--- a/libretro/cores/README.md
+++ b/libretro/cores/README.md
@ -1,25 +0,0 @@
-This directory contains core submodules and Genode-specific build rules. To port 
-a core to Genode, add a minimal Tupfile to the upsteam repository, add a new 
-directory containing the upstream Git repository here as submodule, then add a 
-Tuprules.tup file in the local directory containg Genode build rules.
-
-The upstream `Tupfile` should be as simple as possible. It must mirror the core 
-*TARGET_NAME* defined in the Libretro makefile, the *CORE_DIR* if defined by 
-Make as well, and the *include_rules* directive.
-
-```tup
-TARGET_NAME=2048
-CORE_DIR=$(TUP_CWD)
-include_rules
-```
-
-The local `Tuprules.tup` file contains the actual build rules. Typically a core 
-repository contains `Makefile` and `Makefile.common` files, the later containing 
-a list of sources files relative to a `CORE_DIR` variable, which can usually be 
-included and parsed by Tup. Note that Tup cannot include files relative to a 
-variable, `Tuprules.tup` must include `Makefile.common` relative to itself. 
-Please refer to a `Tuprules.tup` in any of the core directories here as an 
-example.
-
-Unfortunately not all cores are trivally compatible with Tup, in particular 
-those with makefiles that wrap a pre-Libretro Make build system.
--- a/libretro/cores/Tuprules.tup
+++ b/libretro/cores/Tuprules.tup
@ -1,38 +0,0 @@
-# Implicit dependencies
-PKG_DEPENDS += \
-	_/src/vfs \
-	@(PUBLIC_SRC_LIBC) \
-	_/src/$(BIN_NAME) \
-	_/src/retro_frontend \
-
-!libretro_cc  = | $(GENODE_DIR)/<pkg-config> |> ^ CC %f^ \
-	$(CC) \
-		$(DEFINES) \
-		`$(PKG_CONFIG) --cflags $(CORE_PKGS)` \
-		$(CFLAGS) $(INCFLAGS) \
-		`$(PKG_CONFIG) --cflags genode-lib` \
-		-c %f -o %o \
-|> %f.$(TARGET_NAME).o
-
-!libretro_cxx = | $(GENODE_DIR)/<pkg-config> |> ^ CXX %f^ \
-	$(CXX) \
-		$(DEFINES) \
-		`$(PKG_CONFIG) --cflags $(CORE_PKGS)` \
-		$(CXXFLAGS) $(INCFLAGS) \
-		`$(PKG_CONFIG) --cflags genode-lib` \
-		-c %f -o %o \
-|> %f.$(TARGET_NAME).o
-
-!libretro_core_link = | $(GENODE_DIR)/<pkg-config> $(GENODE_DIR)/<stub> |> ^o LD %d^ \
-	$(LD)  %f -o %o \
-		-shared --version-script=$(LINK_T) $(NO_UNDEFINED) \
-		$(LDFLAGS) \
-		`$(PKG_CONFIG) --libs $(CORE_PKGS)` \
-		`$(PKG_CONFIG) --libs genode-lib` \
-		-L$(STUB_DIR) \
-|> libretro.so
-
-LINK_T = $(TUP_CWD)/link.T
-DEFINES += -fPIC -D__LIBRETRO__ -DFRONTEND_SUPPORTS_RGB565
-DEFINES += -DGIT_VERSION=\"$(GIT_VERSION)\"
-NO_UNDEFINED = --no-undefined
--- a/libretro/cores/bluemsx/Tuprules.tup
+++ b/libretro/cores/bluemsx/Tuprules.tup
@ -1,51 +0,0 @@
-CORE_PKGS += stdcxx libc libm
-NO_UNDEFINED =
-
-LIBRETRO_COMM_DIR =
-
-DEBUG   = 0
-LOG_PERFORMANCE = 0
-HAVE_COMPAT = 0
-
-ifeq ($(DEBUG), 1)
-	DEFINES += -O0 -g
-else
-	DEFINES += -O2 -DHAVE_STDINT_H -DNDEBUG
-	CXXFLAGS += -fno-exceptions -fno-rtti
-endif
-
-ifeq ($(LOG_PERFORMANCE), 1)
-	DEFINES += -DLOG_PERFORMANCE
-endif
-
-include upstream/Makefile.common
-
-DEFINES += $(COREDEFINES)
-
-CFLAGS   += -w
-CXXFLAGS   += -w
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-ifndef CONFIG_NO_NETWORK
-: |> wget --quiet http://bluemsx.msxblue.com/rel_download/%o |> blueMSXv282.zip {zip}
-
-: {zip} \
-	|> unzip %f -d tmp ; tar cf %o -C tmp Machines Databases ; rm -r tmp \
-	|> blueMSX.tar {tar}
-
-: {tar} |> !collect_raw |>
-: |> !raw |>
-endif
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-	_/raw/bluemsx \
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-: |> !pkg |>
--- a/libretro/cores/bluemsx/runtime
+++ b/libretro/cores/bluemsx/runtime
@ -1,44 +0,0 @@
-<runtime ram="32M" caps="256" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system label="MSX"/>
-		<nitpicker/>
-		<rm/>
-		<rtc/>
-	</requires>
-
-	<content>
-		<rom label="blueMSX.tar"/>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
-		<vfs>
-			<dir name="system">
-				<tar name="blueMSX.tar"/> </dir>
-			<fs label="MSX"/>
-			<dir name="dev"> <log label="core"/> <rtc/> </dir>
-		</vfs>
-		<game/>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_X" to="A"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/bluemsx/upstream
+++ b/libretro/cores/bluemsx/upstream
@ -1 +0,0 @@
-Subproject commit 71fe7c9fe6b9049cb98c64ab230ce18b5d8554e0
--- a/libretro/cores/dinothawr/core
+++ b/libretro/cores/dinothawr/core
@ -1 +0,0 @@
-Subproject commit d68f520a6ff70bd7980a6df3b82c25e3b1deb92f
--- a/libretro/cores/dosbox-libretro/Tuprules.tup
+++ b/libretro/cores/dosbox-libretro/Tuprules.tup
@ -1,31 +0,0 @@
-CORE_PKGS += stdcxx libm
-NO_UNDEFINED =
-	# Uses Genode API to create secondary stack
-LIBRETRO_COMM_DIR =
-	# TODO: build against newer libretro-common
-
-WITH_DYNAREC = @(TUP_ARCH)
-  # TODO: will not configure correctly for every possible TUP_ARCH
-
-include upstream/Makefile.common
-
-SOURCES_CXX += $(LIBRETRO_COMM_DIR)/libco/genode.cpp
-
-DEFINES += -O2 -DNDEBUG -D__GENODE__
-CFLAGS += $(COMMONFLAGS)
-
-DEFINES += -DHAVE_MMAP
-	# Use anonymous mmap to allocate executable memory pages
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-: |> !pkg |>
--- a/libretro/cores/dosbox-libretro/runtime
+++ b/libretro/cores/dosbox-libretro/runtime
@ -1,30 +0,0 @@
-<runtime ram="128M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-		<rtc/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config ld_verbose="yes">
-		<game path="/fs/dosbox.conf"/>
-		<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
-		<vfs>
-			<dir name="fs"> <fs/> </dir>
-			<dir name="dev"> <log label="core"/> <rtc/> </dir>
-		</vfs>
-		<default-controller port="0" device="771"/>
-	</config>
-
-</runtime>
--- a/libretro/cores/dosbox-libretro/upstream
+++ b/libretro/cores/dosbox-libretro/upstream
@ -1 +0,0 @@
-Subproject commit 6dc49e4356c78ae097fa39d5e3ccb7e50215d4bd
--- a/libretro/cores/dosbox-svn/Tuprules.tup
+++ b/libretro/cores/dosbox-svn/Tuprules.tup
@ -1,45 +0,0 @@
-CORE_PKGS += stdcxx libm
-NO_UNDEFINED =
-	# Uses Genode API to create secondary stack
-#LIBRETRO_COMM_DIR =
-
-ifeq (@(TUP_ARCH),arm64)
-WITH_DYNAREC = arm64
-endif
-
-ifeq (@(TUP_ARCH),i386)
-WITH_DYNAREC = x86
-endif
-
-ifeq (@(TUP_ARCH),x86_64)
-WITH_DYNAREC = x86_64
-endif
-
-ifeq ($(WITH_DYNAREC),)
-error dynamic recompiler not configured for @(TUP_ARCH)
-endif
-
-WITH_FAKE_SDL = 1
-include upstream/libretro/Makefile.common
-
-DEFINES += -O1 -DNDEBUG -D__GENODE__ -DWITH_FAKE_SDL
-DEFINES += -DDB_HAVE_CLOCK_GETTIME
-DEFINES += $(COMMONFLAGS)
-
-DEFINES += -DHAVE_MMAP
-	# Use anonymous mmap to allocate executable memory pages
-
-SOURCES_CXX += $(LIBRETRO_COMM_DIR)/libco/genode.cpp
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-: |> !pkg |>
--- a/libretro/cores/dosbox-svn/runtime
+++ b/libretro/cores/dosbox-svn/runtime
@ -1,30 +0,0 @@
-<runtime ram="128M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-		<rtc/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<game path="/fs/dosbox.conf"/>
-		<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
-		<vfs>
-			<dir name="fs"> <fs/> </dir>
-			<dir name="dev"> <log label="core"/> <rtc/> </dir>
-		</vfs>
-		<default-controller port="0" device="771"/>
-	</config>
-
-</runtime>
--- a/libretro/cores/dosbox-svn/upstream
+++ b/libretro/cores/dosbox-svn/upstream
@ -1 +0,0 @@
-Subproject commit fe8f21212739a3ded2b06d80a27f4c06d4331996
--- a/libretro/cores/fceumm/Tuprules.tup
+++ b/libretro/cores/fceumm/Tuprules.tup
@ -1,21 +0,0 @@
-CORE_PKGS += libc libm
-
-DEFINES += -O2 -DNDEBUG
-DEFINES += -DWANT_GRIFFIN
-
-include upstream/Makefile.common
-
-DEFINES += -DSOUND_QUALITY=0 -DPATH_MAX=1024 -DFCEU_VERSION_NUMERIC=9813 -DINLINE=inline -DPSS_STYLE=1
-DEFINES += -Wno-write-strings
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
-: |> !pkg |>
-
-: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
--- a/libretro/cores/fceumm/pkg.dhall
+++ b/libretro/cores/fceumm/pkg.dhall
@ -1,10 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let defaults = ./../../pkgJoypadDefaults.dhall
-
-in  { indexInfo =
-        "NES emulator"
-    , runtime =
-          defaults.runtime
-        ⫽ { resources = { caps = 128, ram = Genode.units.MiB 16 } }
-    }
--- a/libretro/cores/fceumm/upstream
+++ b/libretro/cores/fceumm/upstream
@ -1 +0,0 @@
-Subproject commit bb8aef82c11b6d9eb21a0e902e770c75924ff96e
--- a/libretro/cores/gambatte/Tuprules.tup
+++ b/libretro/cores/gambatte/Tuprules.tup
@ -1,26 +0,0 @@
-CORE_PKGS += stdcxx
-NO_UNDEFINED =
-
-LIBRETRO_COMM_DIR =
-
-DEFINES += -O2 -DNDEBUG
-DEFINES += -DHAVE_STDINT_H
-DEFINES += -D__LIBRETRO__ -DHAVE_STDINT_H -DHAVE_INTTYPES_H
-DEFINES += -DINLINE=inline -DVIDEO_RGB565
-
-include upstream/Makefile.common
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
-: |> !pkg |>
-
-: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
--- a/libretro/cores/gambatte/pkg.dhall
+++ b/libretro/cores/gambatte/pkg.dhall
@ -1,14 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let defaults = ./../../pkgJoypadDefaults.dhall
-
-in  { indexInfo =
-        "Game Boy Emulator"
-    , runtime =
-          defaults.runtime
-        ⫽ { resources =
-              { caps = 128, ram = Genode.units.MiB 8 }
-          , roms =
-              defaults.runtime.roms # [ "stdcxx.lib.so" ]
-          }
-    }
--- a/libretro/cores/gambatte/upstream
+++ b/libretro/cores/gambatte/upstream
@ -1 +0,0 @@
-Subproject commit 5fd9a1fb1dc2ae259f9f0edd7fce1549465f4fe9
--- a/libretro/cores/link.T
+++ b/libretro/cores/link.T
@ -1,5 +0,0 @@
-{
-   global: retro_*;
-   local: *;
-};
-
--- a/libretro/cores/lutro/upstream
+++ b/libretro/cores/lutro/upstream
@ -1 +0,0 @@
-Subproject commit ceab569d88da6846bc632a79961fb30b1aa8c186
--- a/libretro/cores/mgba/Tuprules.tup
+++ b/libretro/cores/mgba/Tuprules.tup
@ -1,29 +0,0 @@
-CORE_PKGS += libc libm
-
-include upstream/libretro-build/Makefile.common
-
-DEFINES += -DMINIMAL_CORE=2 -DM_CORE_GBA -DM_CORE_GB
-DEFINES += -DHAVE_STDINT_H -DHAVE_INTTYPES_H -DHAVE_LOCALE -DHAVE_LOCALTIME_R
-DEFINES += -DINLINE=inline
-DEFINES += -DCOLOR_16_BIT -DCOLOR_5_6_5
-DEFINES += -DRESAMPLE_LIBRARY=2
-DEFINES += -DM_PI=3.14159265358979323846
-DEFINES += -DNDEBUG
-DEFINES += -DUSE_VFS_FILE
-
-CFLAGS += -O3
-CFLAGS += $(INCLUDES)
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
-: |> !pkg |>
-
-: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
--- a/libretro/cores/mgba/pkg.dhall
+++ b/libretro/cores/mgba/pkg.dhall
@ -1,44 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let Prelude = Genode.Prelude
-
-let XML = Prelude.XML
-
-let defaults = ./../../pkgDefaults.dhall
-
-in  { indexInfo =
-        "Game Boy Advance Emulator"
-    , runtime =
-          defaults.runtime
-        ⫽ { resources =
-              { caps = 128, ram = Genode.units.MiB 64 }
-          , roms =
-              defaults.runtime.roms # [ "stdcxx.lib.so" ]
-          , config =
-              XML.text
-              ''
-              	<config>
-              		<libc stdout="/dev/log" stderr="/dev/log"/>
-              		<game/>
-              		<vfs>
-              			<fs/>
-              			<dir name="dev"> <log label="core"/> </dir>
-              		</vfs>
-              		<default-controller port="0" device="1">
-              			<map from="KEY_LEFT" to="LEFT"/>
-              			<map from="KEY_RIGHT" to="RIGHT"/>
-              			<map from="KEY_UP" to="UP"/>
-              			<map from="KEY_DOWN" to="DOWN"/>
-              
-              			<map from="KEY_Z" to="B"/>
-              			<map from="KEY_X" to="A"/>
-              			<map from="KEY_A" to="L"/>
-              			<map from="KEY_S" to="R"/>
-              
-              			<map from="KEY_ENTER" to="START"/>
-              			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-              		</default-controller>
-              	</config>
-                            ''
-          }
-    }
--- a/libretro/cores/mgba/upstream
+++ b/libretro/cores/mgba/upstream
@ -1 +0,0 @@
-Subproject commit 9c8a1a598d04e764df5f848ff619869a9c3f6ad8
--- a/libretro/cores/mrboom/Tuprules.tup
+++ b/libretro/cores/mrboom/Tuprules.tup
@ -1,28 +0,0 @@
-CORE_PKGS += stdcxx libc libm
-
-NO_UNDEFINED =
-	# Uses Genode API to create secondary stack
-
-LIBRETRO_COMM_DIR =
-	# TODO: update libretro-common
-
-CFLAGS += -O3
-CFLAGS += -DMRBOOM -DHAVE_IBXM -D_FORTIFY_SOURCE=0
-CFLAGS += -DPLATFORM=\"genode\"
-CFLAGS += -std=gnu99
-CXXFLAGS += -std=c++98
-
-include upstream/Makefile.common
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-: |> !pkg |>
--- a/libretro/cores/mrboom/runtime
+++ b/libretro/cores/mrboom/runtime
@ -1,44 +0,0 @@
-<runtime ram="16M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<nitpicker/>
-		<file_system/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<fs/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_S" to="X"/>
-			<map from="KEY_A" to="Y"/>
-			<map from="KEY_Q" to="L"/>
-			<map from="KEY_W" to="R"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/mrboom/upstream
+++ b/libretro/cores/mrboom/upstream
@ -1 +0,0 @@
-Subproject commit 12da10f1b14507a0f6d20bc2e8c86ff55451a0d3
--- a/libretro/cores/mu/Tuprules.tup
+++ b/libretro/cores/mu/Tuprules.tup
@ -1,26 +0,0 @@
-CORE_PKGS += libc libm
-
-LIBRETRO_COMM_DIR =
-
-DEFINES += -O2 -DNDEBUG
-DEFINES += -DINLINE=inline
-
-include upstream/libretroBuildSystem/build/Makefile.common
-include upstream/src/makefile.all
-SOURCES_C += $(EMU_SOURCES_C)
-
-DEFINES += $(COREDEFINES)
-DEFINES += $(INCFLAGS)
-
-CFLAGS += -Wall -W -Wno-unused-parameter -Wno-sign-compare -Wno-uninitialized
-CFLAGS += -fomit-frame-pointer
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-
-: |> !bin |>
-: |> !pkg |>
--- a/libretro/cores/mu/runtime
+++ b/libretro/cores/mu/runtime
@ -1,24 +0,0 @@
-<runtime ram="32M" caps="256" binary="retro_frontend">
-
-	<requires> <file_system/> <nitpicker/> </requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config ld_vebose="yes">
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<fs/>
-			<dir name="dev">
-				<log label="core"/>
-			</dir>
-		</vfs>
-	</config>
-
-</runtime>
--- a/libretro/cores/mu/upstream
+++ b/libretro/cores/mu/upstream
@ -1 +0,0 @@
-Subproject commit d4a449c99265c7ef8680edc4cc2501bdfca30b46
--- a/libretro/cores/nxengine/Tuprules.tup
+++ b/libretro/cores/nxengine/Tuprules.tup
@ -1,22 +0,0 @@
-CORE_PKGS += libc libm
-NO_UNDEFINED =
-	# __cxa_...
-
-EXTRACTDIR = $(CORE_DIR)/extract-auto
-include upstream/Makefile.common
-
-DEFINES += -O2 -DNDEBUG
-DEFINES += -DHAVE_INTTYPES_H
-DEFINES += -DINLINE="inline"
-CFLAGS += -std=gnu11
-CXXFLAGS += -fno-rtti -fno-exceptions
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |>
-: |> !pkg |>
--- a/libretro/cores/nxengine/pkg.dhall
+++ b/libretro/cores/nxengine/pkg.dhall
@ -1,36 +0,0 @@
-let XML = (env:DHALL_GENODE).Prelude.XML
-
-let defaults = ./../../pkgDefaults.dhall
-
-in  { indexInfo =
-        "Cave Story engine"
-    , runtime =
-          defaults.runtime
-        ⫽ { config =
-              XML.text
-              ''
-              <config>
-              <libc stdout="/dev/log" stderr="/dev/log"/>
-              <vfs>
-              <tar name="doukutsu.tar"/>
-              <fs/>
-              <dir name="dev"> <log/> </dir>
-              </vfs>
-              <game/>
-              <default-controller port="0" device="1">
-              <map from="KEY_LEFT" to="LEFT"/>
-              <map from="KEY_UP" to="UP"/>
-              <map from="KEY_DOWN" to="DOWN"/>
-              <map from="KEY_RIGHT" to="RIGHT"/>
-              <map from="KEY_Z" to="B"/>
-              <map from="KEY_X" to="A"/>
-              <map from="KEY_S" to="X"/>
-              <map from="KEY_Q" to="L"/>
-              <map from="KEY_W" to="R"/>
-              <map from="KEY_RIGHTSHIFT" to="SELECT"/>
-              <map from="KEY_ENTER" to="START"/>
-              </default-controller>
-              </config>
-              ''
-          }
-    }
--- a/libretro/cores/nxengine/runtime
+++ b/libretro/cores/nxengine/runtime
@ -1,41 +0,0 @@
-<runtime ram="32M" caps="128" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<vfs>
-			<tar name="doukutsu.tar"/>
-			<fs/>
-			<dir name="dev"> <log/> </dir>
-		</vfs>
-		<game/>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_S" to="X"/>
-			<map from="KEY_Q" to="L"/>
-			<map from="KEY_W" to="R"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-			<map from="KEY_ENTER" to="START"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/nxengine/upstream
+++ b/libretro/cores/nxengine/upstream
@ -1 +0,0 @@
-Subproject commit b220b573ca8fd32fad5dfbb02679c430998395f1
--- a/libretro/cores/oberon/Tuprules.tup
+++ b/libretro/cores/oberon/Tuprules.tup
@ -1,20 +0,0 @@
-RAW_VERSION = 2019-01-21
-: $(CORE_DIR)/DiskImage/Oberon-$(RAW_VERSION).dsk |> !collect_raw |>
-: |> !raw |>
-
-CORE_PKGS += libc
-
-include upstream/Libretro/Makefile.common
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	_/raw/oberon \
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-: |> !pkg |>
--- a/libretro/cores/oberon/runtime
+++ b/libretro/cores/oberon/runtime
@ -1,25 +0,0 @@
-<runtime ram="32M" caps="256" binary="retro_frontend">
-
-	<requires> <nitpicker/> </requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-		<rom label="Oberon-2019-01-21.dsk"/>
-	</content>
-
-	<config ld_vebose="yes">
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game path="/Oberon-2019-01-21.dsk"/>
-		<vfs>
-			<rom name="Oberon-2019-01-21.dsk"/>
-			<dir name="dev">
-				<log label="core"/>
-			</dir>
-		</vfs>
-	</config>
-
-</runtime>
--- a/libretro/cores/oberon/upstream
+++ b/libretro/cores/oberon/upstream
@ -1 +0,0 @@
-Subproject commit 41aa3d5ecaab3c4dc68be3857af89c36053b02c6
--- a/libretro/cores/samples/Tuprules.tup
+++ b/libretro/cores/samples/Tuprules.tup
@ -1,154 +0,0 @@
-CORE_PKGS += libc libm
-LDFLAGS += --no-undefined
-CFLAGS += -O3 -Wall -pedantic -std=gnu99
-
-SIMPLE_DEPENDS = @(PUBLIC_SRC_STDCXX)
-
-GL_DEPENDS = \
-	$(SIMPLE_DEPENDS) \
-	@(UPSTREAM_USER)/src/init/@(UPSTREAM_VERSION) \
-	@(PUBLIC_SRC_EXPAT) \
-	@(PUBLIC_SRC_MESA) \
-
-ifeq ($(TARGET_NAME),testaudio_callback)
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/audio.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testaudio_no_callback)
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/audio.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testaudio_playback_wav)
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/audio.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),button_test)
-	CFLAGS += -Ilibretro-common/include
-	SOURCES_C += libretro.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),freebasic)
-	TARGET_NAME=
-#	: fbastest.bas |> fbc -dll %f -x %o |> libretro.so {core}
-#	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-#	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),pascal_pong)
-	TARGET_NAME=
-#	: pong.pas |> fpc -o%o %f |> libretro.so {core}
-#	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-#	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),midi_test)
-	SOURCES_C += libretro.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/midi.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),test)
-	TARGET_NAME = simple_tests
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),cruzes)
-	SOURCES_C += cruzes.c ttf2c.c
-	# : obj/Carlito-Regular.ttf |> ttf2c 24 font24 %f %o |> font24.h
-	# : obj/Carlito-Regular.ttf |> ttf2c 16 font16 %f %o |> font16.h
-	# : obj/Carlito-Regular.ttf |> ttf2c 10 font10 %f %o |> font10.h
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),advanced_tests)
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/audio.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testgl_compute_shaders)
-	CORE_PKGS += mesa
-	CFLAGS += -Igl -DNDEBUG -DHAVE_ZIP_DEFLATE
-	SOURCES_CXX += libretro/libretro.cpp
-	SOURCES_CXX += gl/*.cpp
-	SOURCES_CXX += app/boxes.cpp
-	SOURCES_C += glsym/rglgen.c
-	SOURCES_C += glsym/glsym_gl.c
-
-	PKG_DEPENDS += $(GL_DEPENDS)
-	: $(TUP_CWD)/testgl.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testgl_ff)
-	CORE_PKGS += mesa
-	CFLAGS +=
-	SOURCES_C += libretro_gl_ff_test.c glsym/rglgen.c glsym/glsym_gl.c
-	PKG_DEPENDS += $(GL_DEPENDS)
-	: $(TUP_CWD)/testgl.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testgl)
-	CORE_PKGS += mesa
-	CFLAGS +=
-	SOURCES_C += libretro_gl_test.c
-	SOURCES_C += glsym/rglgen.c
-	SOURCES_C += glsym/glsym_gl.c
-
-	PKG_DEPENDS += $(GL_DEPENDS)
-	: $(TUP_CWD)/testgl.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testsw)
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testsw_vram)
-	CFLAGS += -I../../libretro-common/include
-	SOURCES_C += libretro-test.c
-	PKG_DEPENDS += $(SIMPLE_DEPENDS)
-	: $(TUP_CWD)/simple.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testvulkan_async_compute)
-	CFLAGS += -I../../libretro-common/include -Iinclude
-	SOURCES_C += libretro-test.c vulkan_symbol_wrapper.c
-	PKG_DEPENDS += $(GL_DEPENDS)
-	: $(TUP_CWD)/testgl.runtime |> !collect_pkg_runtime |>
-endif
-
-ifeq ($(TARGET_NAME),testvulkan)
-	CFLAGS += -I../../libretro-common/include -Iinclude
-	SOURCES_C += libretro-test.c vulkan_symbol_wrapper.c
-	PKG_DEPENDS += $(GL_DEPENDS)
-	: $(TUP_CWD)/testgl.runtime |> !collect_pkg_runtime |>
-endif
-
-ifneq ($(TARGET_NAME),)
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-: README.md |> !collect_pkg |>
-
-endif
--- a/libretro/cores/samples/audio.runtime
+++ b/libretro/cores/samples/audio.runtime
@ -1,44 +0,0 @@
-<runtime ram="16M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<fs/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_S" to="X"/>
-			<map from="KEY_A" to="Y"/>
-			<map from="KEY_Q" to="L"/>
-			<map from="KEY_W" to="R"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/samples/midi.runtime
+++ b/libretro/cores/samples/midi.runtime
@ -1,27 +0,0 @@
-<runtime ram="16M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<nitpicker/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<ram/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="3"/>
-	</config>
-
-</runtime>
--- a/libretro/cores/samples/noaudio.runtime
+++ b/libretro/cores/samples/noaudio.runtime
@ -1,40 +0,0 @@
-<runtime ram="16M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<nitpicker/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_S" to="X"/>
-			<map from="KEY_A" to="Y"/>
-			<map from="KEY_Q" to="L"/>
-			<map from="KEY_W" to="R"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/samples/simple.runtime
+++ b/libretro/cores/samples/simple.runtime
@ -1,40 +0,0 @@
-<runtime ram="16M" caps="192" binary="retro_frontend">
-
-	<requires>
-		<nitpicker/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_Z" to="B"/>
-			<map from="KEY_S" to="X"/>
-			<map from="KEY_A" to="Y"/>
-			<map from="KEY_Q" to="L"/>
-			<map from="KEY_W" to="R"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/cores/samples/testgl.runtime
+++ b/libretro/cores/samples/testgl.runtime
@ -1,30 +0,0 @@
-<runtime ram="64M" caps="256" binary="retro_frontend">
-
-	<requires>
-		<nitpicker/>
-		<rom label="egl_drv.lib.so"/>
-	</requires>
-
-	<content>
-		<rom label="egl.lib.so"/>
-		<rom label="expat.lib.so"/>
-		<rom label="glapi.lib.so"/>
-		<rom label="init"/>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="mesa.lib.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="stdcxx.lib.so"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-	</config>
-
-</runtime>
--- a/libretro/cores/samples/upstream
+++ b/libretro/cores/samples/upstream
@ -1 +0,0 @@
-Subproject commit 32aa98eeaad66cc3318d6e821a7a83de75603831
--- a/libretro/cores/snes9x/Tuprules.tup
+++ b/libretro/cores/snes9x/Tuprules.tup
@ -1,27 +0,0 @@
-CORE_PKGS += stdcxx libc libm
-NO_UNDEFINED =
-
-include upstream/libretro/Makefile.common
-
-CODE_DEFINES = -fomit-frame-pointer -fno-exceptions -fno-rtti -pedantic 
-WARNINGS_DEFINES = -Wall -W -Wno-unused-parameter
-
-CFLAGS += -O2 -DNDEBUG
-CFLAGS += -DHAVE_STDINT_H -DHAVE_STRINGS_H
-CXXFLAGS += $(CODE_DEFINES) $(WARNINGS_DEFINES)
-CXXFLAGS += -DRIGHTSHIFT_IS_SAR -D__LIBRETRO__ -DALLOW_CPU_OVERCLOCK
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-: foreach $(SOURCES_CXX) |> !libretro_cxx |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_STDCXX) \
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
-: |> !pkg |>
-
-: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
--- a/libretro/cores/snes9x/pkg.dhall
+++ b/libretro/cores/snes9x/pkg.dhall
@ -1,44 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let XML = Genode.Prelude.XML
-
-let defaults = ./../../pkgDefaults.dhall
-
-in  { indexInfo =
-        "SNES emulator"
-    , runtime =
-          defaults.runtime
-        ⫽ { roms =
-              defaults.runtime.roms # [ "stdcxx.lib.so" ]
-          , resources =
-              { caps = 192, ram = Genode.units.MiB 24 }
-          , config =
-              XML.text
-              ''
-              	<config>
-              		<libc stdout="/dev/log" stderr="/dev/log"/>
-              		<game/>
-              		<vfs>
-              			<fs/>
-              			<dir name="dev"> <log label="core"/> </dir>
-              		</vfs>
-              		<default-controller port="0" device="1">
-              			<map from="KEY_LEFT" to="LEFT"/>
-              			<map from="KEY_RIGHT" to="RIGHT"/>
-              			<map from="KEY_UP" to="UP"/>
-              			<map from="KEY_DOWN" to="DOWN"/>
-              
-              			<map from="KEY_X" to="A"/>
-              			<map from="KEY_Z" to="B"/>
-              			<map from="KEY_S" to="X"/>
-              			<map from="KEY_A" to="Y"/>
-              			<map from="KEY_Q" to="L"/>
-              			<map from="KEY_W" to="R"/>
-              
-              			<map from="KEY_ENTER" to="START"/>
-              			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-              		</default-controller>
-              	</config>
-                            ''
-          }
-    }
--- a/libretro/cores/snes9x/upstream
+++ b/libretro/cores/snes9x/upstream
@ -1 +0,0 @@
-Subproject commit 121576eb06ec7f1381881710d0ddd013355cd9de
--- a/libretro/cores/tyrquake/Tuprules.tup
+++ b/libretro/cores/tyrquake/Tuprules.tup
@ -1,34 +0,0 @@
-CORE_PKGS += libc libm
-
-LIBRETRO_COMM_DIR=
-
-USE_CODEC_WAVE=1
-USE_CODEC_FLAC=1
-USE_CODEC_VORBIS=1
-
-DEFINES += -DUSE_CODEC_WAVE
-DEFINES += -DUSE_CODEC_FLAC
-DEFINES += -DUSE_CODEC_VORBIS
-
-DEFINES += -O2 -DNDEBUG
-
-DEFINES += -DINLINE=inline
-DEFINES += -DHAVE_STRINGS_H -DHAVE_STDINT_H -DHAVE_INTTYPES_H
-DEFINES += -DNQ_HACK -DQBASEDIR=$(CORE_DIR) -DTYR_VERSION=0.62
-DEFINES += -fomit-frame-pointer
-
-include upstream/Makefile.common
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {libretro_objs}
-
-: {libretro_objs} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-PKG_DEPENDS += \
-	ehmry/raw/quake_shareware/1.06 \
-
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
-: |> !pkg |>
-
-: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
--- a/libretro/cores/tyrquake/pkg.dhall
+++ b/libretro/cores/tyrquake/pkg.dhall
@ -1,41 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let Prelude = Genode.Prelude
-
-let XML = Prelude.XML
-
-let frontend = ./../../retro_frontend/package.dhall
-
-let defaults = ./../../pkgDefaults.dhall
-
-let keyboardDefaults = ./../../pkgKeyboardDefaults.dhall
-
-let frontendConfig =
-        keyboardDefaults.frontendConfig
-      ⫽ { vfs =
-            XML.text
-            ''
-            <vfs>
-            	<tar name="quake_shareware.tar"/>
-            	<fs/>
-            	<dir name="dev"> <log label="core"/> </dir>
-            </vfs>
-            ''
-        , game =
-            XML.text "<game/>"
-        , variables =
-            [ { mapKey = "tyrquake_resolution", mapValue = "960x600" } ]
-        }
-
-in  { indexInfo =
-        "QUAKE engine"
-    , runtime =
-          defaults.runtime
-        ⫽ { resources =
-              { caps = 256, ram = Genode.units.MiB 64 }
-          , roms =
-              defaults.runtime.roms # [ "quake_shareware.tar" ]
-          , config =
-              frontend.Config.toXML frontendConfig
-          }
-    }
--- a/libretro/cores/tyrquake/upstream
+++ b/libretro/cores/tyrquake/upstream
@ -1 +0,0 @@
-Subproject commit d058fb7e58137d92f148f1b81a8b2eb147090aab
--- a/libretro/cores/yabause/Tuprules.tup
+++ b/libretro/cores/yabause/Tuprules.tup
@ -1,30 +0,0 @@
-CORE_PKGS += libc libm
-
-# TODO: enable dynamic recompiler
-
-include upstream/libretro/Makefile.common
-
-: foreach $(C68KEXEC_SOURCE) |> !libretro_cc -O0 -DNDEBUG |> %B.o {obj}
-
-CFLAGS += $(INCFLAGS)
-CFLAGS += -DSIZEOF_DOUBLE=8
-CFLAGS += -DUSE_16BPP=1
-CFLAGS += -DUSE_RGB_565=1
-CFLAGS += -DUSE_SCSP2=1
-CFLAGS += -DNO_CLI
-CFLAGS += -DHAVE_SYS_TIME_H
-CFLAGS += -DHAVE_GETTIMEOFDAY
-CFLAGS += -DVERSION=\"0.9.12\"
-CFLAGS += -DHAVE_STRCASECMP
-CFLAGS += -DINLINE="inline"
-
-CFLAGS += -O3 -DNDEBUG
-
-: foreach $(SOURCES_C) |> !libretro_cc |> {obj}
-
-: {obj} |> !libretro_core_link |> {core}
-: {core} |> !collect_bin |>
-: |> !bin |>
-
-: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
-: |> !pkg |>
--- a/libretro/cores/yabause/runtime
+++ b/libretro/cores/yabause/runtime
@ -1,44 +0,0 @@
-<runtime ram="64M" caps="128" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<fs/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_Z" to="Y"/>
-			<map from="KEY_X" to="B"/>
-			<map from="KEY_C" to="A"/>
-			<map from="KEY_A" to="X"/>
-			<map from="KEY_S" to="L"/>
-			<map from="KEY_D" to="R"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
- 
--- a/libretro/cores/yabause/upstream
+++ b/libretro/cores/yabause/upstream
@ -1 +0,0 @@
-Subproject commit 7bb35b865af74282d69f4ecc35ce3a1e0f2d0099
--- a/libretro/games/quake_dopa/Tupfile
+++ b/libretro/games/quake_dopa/Tupfile
@ -1,28 +0,0 @@
-ifndef CONFIG_NO_NETWORK
-
-TARGET_NAME = quake_dopa
-RAW_VERSION = 2016-06-22
-include_rules
-
-: |> wget --quiet -O %o cdn.bethsoft.com/quake/dopa.rar |> dopa.rar
-
-DOPA_FILES = \
-	config.cfg \
-	dopa_readme.txt \
-	pak0.pak \
-
-: dopa.rar |> unrar x %f $(DOPA_FILES); tar cf %o $(DOPA_FILES); rm $(DOPA_FILES) |> $(RAW_DIR)/quake_dopa.tar
-include &(RAW_RULES)
-
-PKG_DEPENDS += \
-	_/src/vfs \
-	@(PUBLIC_SRC_LIBC) \
-	_/src/tyrquake \
-	_/src/retro_frontend \
-	ehmry/raw/quake_shareware/1.06 \
-	_/raw/$(RAW_NAME) \
-
-: runtime |> !collect_pkg_runtime |>
-include &(PKG_RULES)
-
-endif
--- a/libretro/games/quake_dopa/runtime
+++ b/libretro/games/quake_dopa/runtime
@ -1,35 +0,0 @@
-<runtime ram="64M" caps="256" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<file_system/>
-		<nitpicker/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="quake_shareware.tar"/>
-		<rom label="quake_dopa.tar"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<vfs>
-			<tar name="quake_shareware.tar"/>
-			<dir name="dopa"> <tar name="quake_dopa.tar"/> </dir>
-			<fs/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<game path="dopa/pak0.pak"/>
-		<default-controller port="0" device="3"/>
-		<variables>
-			<variable key="tyrquake_resolution" value="960x600"/>
-		</variables>
-	</config>
-
-</runtime>
--- a/libretro/games/streemerz/Tupfile
+++ b/libretro/games/streemerz/Tupfile
@ -1,25 +0,0 @@
-ifndef CONFIG_NO_NETWORK
-
-TARGET_NAME = streemerz
-RAW_VERSION = 02
-include_rules
-
-: |> wget --quiet https://www.fauxgame.com/downloads/%o \
-	|> streemerz-v02.zip {zip}
-
-: {zip} |> unzip %f \
-		README.txt streemerz-v02.nes -d $(RAW_DIR) \
-	|> $(RAW_DIR)/README.txt $(RAW_DIR)/streemerz-v02.nes {unzipped}
-
-PKG_DEPENDS += \
-	@(PUBLIC_SRC_VFS) \
-	@(PUBLIC_SRC_LIBC) \
-	_/src/fceumm \
-	_/src/retro_frontend \
-	_/raw/$(TARGET_NAME) \
-
-: runtime |> !collect_pkg_runtime |>
-
-include &(RAW_RULES)
-
-endif
--- a/libretro/games/streemerz/runtime
+++ b/libretro/games/streemerz/runtime
@ -1,39 +0,0 @@
-<runtime ram="16M" caps="128" binary="retro_frontend">
-
-	<requires>
-		<audio_out/>
-		<nitpicker/>
-		<rm/>
-	</requires>
-
-	<content>
-		<rom label="streemerz-v02.nes"/>
-		<rom label="libc.lib.so"/>
-		<rom label="libm.lib.so"/>
-		<rom label="libretro.so"/>
-		<rom label="retro_frontend"/>
-		<rom label="vfs.lib.so"/>
-	</content>
-
-	<config>
-		<libc stdout="/dev/log" stderr="/dev/log"/>
-		<game/>
-		<vfs>
-			<rom name="streemerz-v02.nes"/>
-			<dir name="dev"> <log label="core"/> </dir>
-		</vfs>
-		<default-controller port="0" device="1">
-			<map from="KEY_LEFT" to="LEFT"/>
-			<map from="KEY_RIGHT" to="RIGHT"/>
-			<map from="KEY_UP" to="UP"/>
-			<map from="KEY_DOWN" to="DOWN"/>
-
-			<map from="KEY_X" to="A"/>
-			<map from="KEY_Z" to="B"/>
-
-			<map from="KEY_ENTER" to="START"/>
-			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-		</default-controller>
-	</config>
-
-</runtime>
--- a/libretro/keyboardJoypad.dhall
+++ b/libretro/keyboardJoypad.dhall
@ -1,23 +0,0 @@
-let frontend = ./retro_frontend/package.dhall
-
-let bind = frontend.Config.Controller.bind
-
-in  { port =
-        0
-    , device =
-        1
-    , binds =
-        [ bind "KEY_LEFT" "LEFT"
-        , bind "KEY_RIGHT" "RIGHT"
-        , bind "KEY_UP" "UP"
-        , bind "KEY_DOWN" "DOWN"
-        , bind "KEY_X" "A"
-        , bind "KEY_Z" "B"
-        , bind "KEY_S" "X"
-        , bind "KEY_A" "Y"
-        , bind "KEY_Q" "L"
-        , bind "KEY_W" "R"
-        , bind "KEY_ENTER" "START"
-        , bind "KEY_RIGHTSHIFT" "SELECT"
-        ]
-    }
--- a/libretro/libretro-common
+++ b/libretro/libretro-common
@ -1 +0,0 @@
-Subproject commit c216fa1a0d02a7b9a6a6d3dc3ed618698777a7a0
--- a/libretro/pkgDefaults.dhall
+++ b/libretro/pkgDefaults.dhall
@ -1,31 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let types = env:DHALL_GENODE_TYPES
-
-let Prelude = Genode.Prelude
-
-let List/map = Prelude.List.map
-
-let Runtime/Require = types.Runtime/Require
-
-in  { runtime =
-          Genode.Runtime.defaults
-        ⫽ { binary =
-              "retro_frontend"
-          , requires =
-              List/map
-              Text
-              Runtime/Require
-              Genode.Runtime.Require.require
-              [ "audio_out", "file_system", "nitpicker", "rm" ]
-          , resources =
-              { caps = 128, ram = Genode.units.MiB 32 }
-          , roms =
-              [ "retro_frontend"
-              , "libc.lib.so"
-              , "libm.lib.so"
-              , "libretro.so"
-              , "vfs.lib.so"
-              ]
-          }
-    }
--- a/libretro/pkgJoypadDefaults.dhall
+++ b/libretro/pkgJoypadDefaults.dhall
@ -1,33 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let frontend = ./retro_frontend/package.dhall
-
-let Prelude = Genode.Prelude
-
-let XML = Prelude.XML
-
-let defaults = ./pkgDefaults.dhall
-
-let frontendConfig =
-      { vfs =
-          XML.text
-          ''
-          <vfs>
-          	<fs/>
-          	<dir name="dev"> <log label="core"/> </dir>
-          </vfs>
-          ''
-      , libc =
-          XML.text "<libc stdout=\"/dev/log\" stderr=\"/dev/log\"/>\n"
-      , defaultController =
-          Some ./keyboardJoypad.dhall
-      , game =
-          XML.text "<game/>"
-      , variables = [] : List { mapKey : Text, mapValue : Text }
-      }
-
-in  { runtime =
-        defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
-    , frontendConfig =
-        frontendConfig
-    }
--- a/libretro/pkgKeyboardDefaults.dhall
+++ b/libretro/pkgKeyboardDefaults.dhall
@ -1,40 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let frontend = ./retro_frontend/package.dhall
-
-let Prelude = Genode.Prelude
-
-let XML = Prelude.XML
-
-let defaults = ./pkgDefaults.dhall
-
-let frontendConfig =
-      { vfs =
-          XML.text
-          ''
-          <vfs>
-          	<fs/>
-          	<dir name="dev"> <log label="core"/> </dir>
-          </vfs>
-          ''
-      , libc =
-          XML.text "<libc stdout=\"/dev/log\" stderr=\"/dev/log\"/>\n"
-      , defaultController =
-          Some
-          { port =
-              0
-          , device =
-              3
-          , binds =
-              [] : List { genode : Text, libretro : Text }
-          }
-      , game =
-          XML.text "<game/>"
-      , variables = [] : List { mapKey : Text, mapValue : Text }
-      }
-
-in  { runtime =
-        defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
-    , frontendConfig =
-        frontendConfig
-    }
--- a/libretro/retro_frontend
+++ b/libretro/retro_frontend
@ -1 +0,0 @@
-Subproject commit 4395cfdd597c114bf24ed70fdf8f072f65576122
--- a/libretro/tests/240pSuite-SNES/240pSuite-SNES-1.03.zip
+++ b/libretro/tests/240pSuite-SNES/240pSuite-SNES-1.03.zip
--- a/libretro/tests/240pSuite-SNES/Tupfile
+++ b/libretro/tests/240pSuite-SNES/Tupfile
@ -1,23 +0,0 @@
-TARGET_NAME = libretro-240pSuite-SNES
-RAW_VERSION = 1.03
-include_rules
-
-# Mirrored here, fuck sourceforge
-: 240pSuite-SNES-$(RAW_VERSION).zip |> unzip %f \
-		240pSuite.sfc README.TXT \
-		-d $(RAW_DIR) \
-	|> $(RAW_DIR)/240pSuite.sfc $(RAW_DIR)/README.TXT {unzipped}
-
-PKG_DEPENDS += \
-	_/src/vfs \
-	@(PUBLIC_SRC_LIBC) \
-	@(PUBLIC_SRC_STDCXX) \
-	_/src/snes9x \
-	_/src/retro_frontend \
-	_/raw/$(TARGET_NAME) \
-
-: ./pkg.dhall |> !render_runtime |> {runtime}
-
-include &(RAW_RULES)
-
-: ./pkg.dhall |> !index_pkg |>
--- a/libretro/tests/240pSuite-SNES/pkg.dhall
+++ b/libretro/tests/240pSuite-SNES/pkg.dhall
@ -1,40 +0,0 @@
-let defaults = ./../../pkgDefaults.dhall
-
-let XML = (env:DHALL_GENODE).Prelude.XML
-
-in  { indexInfo =
-        "SNES tests"
-    , runtime =
-          defaults.runtime
-        ⫽ { roms =
-              [ "240pSuite.sfc", "stdcxx.lib.so" ]
-          , config =
-              XML.text
-              ''
-              	  <config>
-              		<libc stdout="/dev/log" stderr="/dev/log"/>
-              		<game/>
-              		<vfs>
-              			<rom name="240pSuite.sfc"/>
-              			<dir name="dev"> <log label="core"/> </dir>
-              		</vfs>
-              		<default-controller port="0" device="1">
-              			<map from="KEY_LEFT" to="LEFT"/>
-              			<map from="KEY_RIGHT" to="RIGHT"/>
-              			<map from="KEY_UP" to="UP"/>
-              			<map from="KEY_DOWN" to="DOWN"/>
-              
-              			<map from="KEY_X" to="A"/>
-              			<map from="KEY_Z" to="B"/>
-              			<map from="KEY_S" to="X"/>
-              			<map from="KEY_A" to="Y"/>
-              			<map from="KEY_Q" to="L"/>
-              			<map from="KEY_W" to="R"/>
-              
-              			<map from="KEY_ENTER" to="START"/>
-              			<map from="KEY_RIGHTSHIFT" to="SELECT"/>
-              		</default-controller>
-              	</config>
-              ''
-          }
-    }
--- a/libretro/tests/240pee-NES/240pee-0.08.2.zip
+++ b/libretro/tests/240pee-NES/240pee-0.08.2.zip
--- a/libretro/tests/240pee-NES/Tupfile
+++ b/libretro/tests/240pee-NES/Tupfile
@ -1,21 +0,0 @@
-TARGET_NAME = libretro-240pee-NES
-RAW_VERSION = 0.08.2
-include_rules
-
-# Mirrored here, fuck sourceforge
-: 240pee-$(RAW_VERSION).zip |> unzip %f \
-		240pee.nes 240pee-bnrom.nes README.md \
-		-d $(RAW_DIR) \
-	|> $(RAW_DIR)/240pee.nes $(RAW_DIR)/240pee-bnrom.nes $(RAW_DIR)/README.md {unzipped}
-
-PKG_DEPENDS += \
-	_/src/vfs \
-	@(PUBLIC_SRC_LIBC) \
-	_/src/fceumm \
-	_/src/retro_frontend \
-	_/raw/$(TARGET_NAME) \
-
-: ./pkg.dhall |> !render_runtime |>
-
-include &(RAW_RULES)
-include &(PKG_RULES)
--- a/libretro/tests/240pee-NES/pkg.dhall
+++ b/libretro/tests/240pee-NES/pkg.dhall
@ -1,38 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let XML = Genode.Prelude.XML
-
-let fceumm = ./../../cores/fceumm/pkg.dhall
-
-in  { indexInfo =
-        "SNES tests"
-    , runtime =
-          fceumm.runtime
-        ⫽ { roms =
-              fceumm.runtime.roms # [ "240pSuite.sfc" ]
-          , config =
-              XML.text
-              ''
-              <config>
-              <libc stdout="/dev/log" stderr="/dev/log"/>
-              <game/>
-              <vfs>
-              <rom name="240pee.nes"/>
-              <dir name="dev"> <log label="core"/> </dir>
-              </vfs>
-              <default-controller port="0" device="1">
-              <map from="KEY_LEFT" to="LEFT"/>
-              <map from="KEY_RIGHT" to="RIGHT"/>
-              <map from="KEY_UP" to="UP"/>
-              <map from="KEY_DOWN" to="DOWN"/>
-              
-              <map from="KEY_X" to="A"/>
-              <map from="KEY_Z" to="B"/>
-              
-              <map from="KEY_ENTER" to="START"/>
-              <map from="KEY_RIGHTSHIFT" to="SELECT"/>
-              </default-controller>
-              </config>
-              ''
-          }
-    }
--- a/libretro/tests/topbench/Tupfile
+++ b/libretro/tests/topbench/Tupfile
@ -1,16 +0,0 @@
-ifndef CONFIG_NO_NETWORK
-
-TARGET_NAME = topbench
-include_rules
-
-: |> wget --quiet https://github.com/MobyGamer/TOPBENCH/releases/download/0.38.h/%o |> TOPBV38H.ZIP {zip}
-
-: {zip} \
-	|> unzip -L %f -d tmp ; tar cf %o -C tmp . ; rm -r tmp \
-	|> $(DEPOT_RAW_DIR)/%d/@(DEPOT_VERSION)/TOPBV38H.tar {tar}
-
-RAW_VERSION = 0.38.h
-: {tar} |> !collect_raw |>
-include &(RAW_RULES)
-
-endif
--- a/libretro/tests/topbench/Tuprules.tup
+++ b/libretro/tests/topbench/Tuprules.tup
@ -1,3 +0,0 @@
-PKG_DEPENDS += ehmry/raw/topbench/0.38.h
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |>
-: |> !pkg |>
--- a/libretro/tests/topbench/dosbox-libretro/Tupfile
+++ b/libretro/tests/topbench/dosbox-libretro/Tupfile
@ -1,3 +0,0 @@
-TARGET_NAME = topbench_dosbox-libretro
-PKG_DEPENDS += _/src/dosbox
-include_rules
--- a/libretro/tests/topbench/dosbox-svn/Tupfile
+++ b/libretro/tests/topbench/dosbox-svn/Tupfile
@ -1,3 +0,0 @@
-TARGET_NAME = topbench_dosbox-svn
-PKG_DEPENDS += _/src/dosbox_svn
-include_rules
--- a/libretro/tests/topbench/pkg.dhall
+++ b/libretro/tests/topbench/pkg.dhall
@ -1,42 +0,0 @@
-let Genode = env:DHALL_GENODE
-
-let XML = (env:DHALL_GENODE).Prelude.XML
-
-let require = Genode.Runtime.Require.require
-
-let defaults = ./../../pkgDefaults.dhall
-
-in  { indexInfo =
-        "The Oldskool PC Benchmark - DOSBox"
-    , runtime =
-          defaults.runtime
-        ⫽ { resources =
-              { caps = 192, ram = Genode.units.MiB 96 }
-          , requires =
-              defaults.runtime.requires # [ require "report", require "rtc" ]
-          , roms =
-              [ "TOPBV38H.tar", "stdcxx.lib.so" ]
-          , config =
-              XML.text
-              ''
-              <config ld_verbose="yes">
-              <game path="/dosbox.conf"/>
-              <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
-              <vfs>
-              <inline name="dosbox.conf">
-              [autoexec]
-              mount c /drive_c
-              c:
-              TOPBENCH.EXE
-              </inline>
-              <dir name="drive_c">
-              <tar name="TOPBV38H.tar"/>
-              <fs/>
-              </dir>
-              <dir name="dev"> <log label="core"/> <rtc/> </dir>
-              </vfs>
-              <default-controller port="0" device="771"/>
-              </config>
-              ''
-          }
-    }
				`@ -1 +0,0 @@`
				`Subproject commit d714defae18cc6f3019638a8c7cf6c1d86e33ead`
				`@ -1 +0,0 @@`
				`Subproject commit 54d3ddd3c9f81d7bbd5714a670913e46301781c7`
				`@ -1 +0,0 @@`
				`Subproject commit 216aa7e1ae01a9ac52c856b1d73e4afe5ce0cc1d`
				`@ -1 +0,0 @@`
				`Subproject commit 71fe7c9fe6b9049cb98c64ab230ce18b5d8554e0`
				`@ -1 +0,0 @@`
				`Subproject commit d68f520a6ff70bd7980a6df3b82c25e3b1deb92f`
				`@ -1 +0,0 @@`
				`Subproject commit 6dc49e4356c78ae097fa39d5e3ccb7e50215d4bd`
				`@ -1 +0,0 @@`
				`Subproject commit fe8f21212739a3ded2b06d80a27f4c06d4331996`
				`@ -1 +0,0 @@`
				`Subproject commit bb8aef82c11b6d9eb21a0e902e770c75924ff96e`
				`@ -1 +0,0 @@`
				`Subproject commit 5fd9a1fb1dc2ae259f9f0edd7fce1549465f4fe9`
				`@ -1 +0,0 @@`
				`Subproject commit ceab569d88da6846bc632a79961fb30b1aa8c186`