diff --git a/.gitmodules b/.gitmodules
index 3c14426cb..56889e49a 100644
--- 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
diff --git a/libretro/README.md b/libretro/README.md
deleted file mode 100644
index a76c01c31..000000000
--- a/libretro/README.md
+++ /dev/null
@@ -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.
diff --git a/libretro/Tuprules.tup b/libretro/Tuprules.tup
deleted file mode 100644
index b337ba5aa..000000000
--- a/libretro/Tuprules.tup
+++ /dev/null
@@ -1,3 +0,0 @@
-LIBRETRO_COMM_DIR = $(TUP_CWD)/libretro-common
-GIT_VERSION = `git describe --always`
-BIN_VERSION = $(GIT_VERSION)
diff --git a/libretro/bios/cbios-cbios b/libretro/bios/cbios-cbios
deleted file mode 160000
index d714defae..000000000
--- a/libretro/bios/cbios-cbios
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d714defae18cc6f3019638a8c7cf6c1d86e33ead
diff --git a/libretro/cores/2048/Tuprules.tup b/libretro/cores/2048/Tuprules.tup
deleted file mode 100644
index 17c166d57..000000000
--- a/libretro/cores/2048/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/2048/pkg.dhall b/libretro/cores/2048/pkg.dhall
deleted file mode 100644
index da1ce086b..000000000
--- a/libretro/cores/2048/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- ''
- }
- }
diff --git a/libretro/cores/2048/upstream b/libretro/cores/2048/upstream
deleted file mode 160000
index 54d3ddd3c..000000000
--- a/libretro/cores/2048/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 54d3ddd3c9f81d7bbd5714a670913e46301781c7
diff --git a/libretro/cores/4do/Tuprules.tup b/libretro/cores/4do/Tuprules.tup
deleted file mode 100644
index 9eaf11323..000000000
--- a/libretro/cores/4do/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/4do/runtime b/libretro/cores/4do/runtime
deleted file mode 100644
index e7c401009..000000000
--- a/libretro/cores/4do/runtime
+++ /dev/null
@@ -1,43 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/4do/upstream b/libretro/cores/4do/upstream
deleted file mode 160000
index 216aa7e1a..000000000
--- a/libretro/cores/4do/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 216aa7e1ae01a9ac52c856b1d73e4afe5ce0cc1d
diff --git a/libretro/cores/README.md b/libretro/cores/README.md
deleted file mode 100644
index b18405942..000000000
--- a/libretro/cores/README.md
+++ /dev/null
@@ -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.
diff --git a/libretro/cores/Tuprules.tup b/libretro/cores/Tuprules.tup
deleted file mode 100644
index 774f3abda..000000000
--- a/libretro/cores/Tuprules.tup
+++ /dev/null
@@ -1,38 +0,0 @@
-# Implicit dependencies
-PKG_DEPENDS += \
- _/src/vfs \
- @(PUBLIC_SRC_LIBC) \
- _/src/$(BIN_NAME) \
- _/src/retro_frontend \
-
-!libretro_cc = | $(GENODE_DIR)/ |> ^ 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)/ |> ^ 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)/ $(GENODE_DIR)/ |> ^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
diff --git a/libretro/cores/bluemsx/Tuprules.tup b/libretro/cores/bluemsx/Tuprules.tup
deleted file mode 100644
index cf021c63d..000000000
--- a/libretro/cores/bluemsx/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/bluemsx/runtime b/libretro/cores/bluemsx/runtime
deleted file mode 100644
index 56f0892a1..000000000
--- a/libretro/cores/bluemsx/runtime
+++ /dev/null
@@ -1,44 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/bluemsx/upstream b/libretro/cores/bluemsx/upstream
deleted file mode 160000
index 71fe7c9fe..000000000
--- a/libretro/cores/bluemsx/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 71fe7c9fe6b9049cb98c64ab230ce18b5d8554e0
diff --git a/libretro/cores/dinothawr/core b/libretro/cores/dinothawr/core
deleted file mode 160000
index d68f520a6..000000000
--- a/libretro/cores/dinothawr/core
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d68f520a6ff70bd7980a6df3b82c25e3b1deb92f
diff --git a/libretro/cores/dosbox-libretro/Tuprules.tup b/libretro/cores/dosbox-libretro/Tuprules.tup
deleted file mode 100644
index 41f0a7509..000000000
--- a/libretro/cores/dosbox-libretro/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/dosbox-libretro/runtime b/libretro/cores/dosbox-libretro/runtime
deleted file mode 100644
index be764bce1..000000000
--- a/libretro/cores/dosbox-libretro/runtime
+++ /dev/null
@@ -1,30 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/dosbox-libretro/upstream b/libretro/cores/dosbox-libretro/upstream
deleted file mode 160000
index 6dc49e435..000000000
--- a/libretro/cores/dosbox-libretro/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 6dc49e4356c78ae097fa39d5e3ccb7e50215d4bd
diff --git a/libretro/cores/dosbox-svn/Tuprules.tup b/libretro/cores/dosbox-svn/Tuprules.tup
deleted file mode 100644
index b187494f8..000000000
--- a/libretro/cores/dosbox-svn/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/dosbox-svn/runtime b/libretro/cores/dosbox-svn/runtime
deleted file mode 100644
index c42e71fa3..000000000
--- a/libretro/cores/dosbox-svn/runtime
+++ /dev/null
@@ -1,30 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/dosbox-svn/upstream b/libretro/cores/dosbox-svn/upstream
deleted file mode 160000
index fe8f21212..000000000
--- a/libretro/cores/dosbox-svn/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit fe8f21212739a3ded2b06d80a27f4c06d4331996
diff --git a/libretro/cores/fceumm/Tuprules.tup b/libretro/cores/fceumm/Tuprules.tup
deleted file mode 100644
index 30798f021..000000000
--- a/libretro/cores/fceumm/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/fceumm/pkg.dhall b/libretro/cores/fceumm/pkg.dhall
deleted file mode 100644
index bdc885302..000000000
--- a/libretro/cores/fceumm/pkg.dhall
+++ /dev/null
@@ -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 } }
- }
diff --git a/libretro/cores/fceumm/upstream b/libretro/cores/fceumm/upstream
deleted file mode 160000
index bb8aef82c..000000000
--- a/libretro/cores/fceumm/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit bb8aef82c11b6d9eb21a0e902e770c75924ff96e
diff --git a/libretro/cores/gambatte/Tuprules.tup b/libretro/cores/gambatte/Tuprules.tup
deleted file mode 100644
index 151e0250b..000000000
--- a/libretro/cores/gambatte/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/gambatte/pkg.dhall b/libretro/cores/gambatte/pkg.dhall
deleted file mode 100644
index fa5400713..000000000
--- a/libretro/cores/gambatte/pkg.dhall
+++ /dev/null
@@ -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" ]
- }
- }
diff --git a/libretro/cores/gambatte/upstream b/libretro/cores/gambatte/upstream
deleted file mode 160000
index 5fd9a1fb1..000000000
--- a/libretro/cores/gambatte/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5fd9a1fb1dc2ae259f9f0edd7fce1549465f4fe9
diff --git a/libretro/cores/link.T b/libretro/cores/link.T
deleted file mode 100644
index b0c262db9..000000000
--- a/libretro/cores/link.T
+++ /dev/null
@@ -1,5 +0,0 @@
-{
- global: retro_*;
- local: *;
-};
-
diff --git a/libretro/cores/lutro/upstream b/libretro/cores/lutro/upstream
deleted file mode 160000
index ceab569d8..000000000
--- a/libretro/cores/lutro/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit ceab569d88da6846bc632a79961fb30b1aa8c186
diff --git a/libretro/cores/mgba/Tuprules.tup b/libretro/cores/mgba/Tuprules.tup
deleted file mode 100644
index 657f4005f..000000000
--- a/libretro/cores/mgba/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/mgba/pkg.dhall b/libretro/cores/mgba/pkg.dhall
deleted file mode 100644
index a7b787aa1..000000000
--- a/libretro/cores/mgba/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- ''
- }
- }
diff --git a/libretro/cores/mgba/upstream b/libretro/cores/mgba/upstream
deleted file mode 160000
index 9c8a1a598..000000000
--- a/libretro/cores/mgba/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 9c8a1a598d04e764df5f848ff619869a9c3f6ad8
diff --git a/libretro/cores/mrboom/Tuprules.tup b/libretro/cores/mrboom/Tuprules.tup
deleted file mode 100644
index 0d28edf58..000000000
--- a/libretro/cores/mrboom/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/mrboom/runtime b/libretro/cores/mrboom/runtime
deleted file mode 100644
index 6b136b462..000000000
--- a/libretro/cores/mrboom/runtime
+++ /dev/null
@@ -1,44 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/mrboom/upstream b/libretro/cores/mrboom/upstream
deleted file mode 160000
index 12da10f1b..000000000
--- a/libretro/cores/mrboom/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 12da10f1b14507a0f6d20bc2e8c86ff55451a0d3
diff --git a/libretro/cores/mu/Tuprules.tup b/libretro/cores/mu/Tuprules.tup
deleted file mode 100644
index d1aac4236..000000000
--- a/libretro/cores/mu/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/mu/runtime b/libretro/cores/mu/runtime
deleted file mode 100644
index 81b1bc1b4..000000000
--- a/libretro/cores/mu/runtime
+++ /dev/null
@@ -1,24 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/mu/upstream b/libretro/cores/mu/upstream
deleted file mode 160000
index d4a449c99..000000000
--- a/libretro/cores/mu/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d4a449c99265c7ef8680edc4cc2501bdfca30b46
diff --git a/libretro/cores/nxengine/Tuprules.tup b/libretro/cores/nxengine/Tuprules.tup
deleted file mode 100644
index ef9b1961b..000000000
--- a/libretro/cores/nxengine/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/nxengine/pkg.dhall b/libretro/cores/nxengine/pkg.dhall
deleted file mode 100644
index 3e1f3f4f4..000000000
--- a/libretro/cores/nxengine/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- ''
- }
- }
diff --git a/libretro/cores/nxengine/runtime b/libretro/cores/nxengine/runtime
deleted file mode 100644
index 9fb5189c3..000000000
--- a/libretro/cores/nxengine/runtime
+++ /dev/null
@@ -1,41 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/nxengine/upstream b/libretro/cores/nxengine/upstream
deleted file mode 160000
index b220b573c..000000000
--- a/libretro/cores/nxengine/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit b220b573ca8fd32fad5dfbb02679c430998395f1
diff --git a/libretro/cores/oberon/Tuprules.tup b/libretro/cores/oberon/Tuprules.tup
deleted file mode 100644
index ed20749b3..000000000
--- a/libretro/cores/oberon/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/oberon/runtime b/libretro/cores/oberon/runtime
deleted file mode 100644
index 90e9895a5..000000000
--- a/libretro/cores/oberon/runtime
+++ /dev/null
@@ -1,25 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/oberon/upstream b/libretro/cores/oberon/upstream
deleted file mode 160000
index 41aa3d5ec..000000000
--- a/libretro/cores/oberon/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 41aa3d5ecaab3c4dc68be3857af89c36053b02c6
diff --git a/libretro/cores/samples/Tuprules.tup b/libretro/cores/samples/Tuprules.tup
deleted file mode 100644
index c8ac0ae84..000000000
--- a/libretro/cores/samples/Tuprules.tup
+++ /dev/null
@@ -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
diff --git a/libretro/cores/samples/audio.runtime b/libretro/cores/samples/audio.runtime
deleted file mode 100644
index 9c25a9a08..000000000
--- a/libretro/cores/samples/audio.runtime
+++ /dev/null
@@ -1,44 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/samples/midi.runtime b/libretro/cores/samples/midi.runtime
deleted file mode 100644
index 0fd923dd7..000000000
--- a/libretro/cores/samples/midi.runtime
+++ /dev/null
@@ -1,27 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/samples/noaudio.runtime b/libretro/cores/samples/noaudio.runtime
deleted file mode 100644
index eb30f33b5..000000000
--- a/libretro/cores/samples/noaudio.runtime
+++ /dev/null
@@ -1,40 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/samples/simple.runtime b/libretro/cores/samples/simple.runtime
deleted file mode 100644
index eb30f33b5..000000000
--- a/libretro/cores/samples/simple.runtime
+++ /dev/null
@@ -1,40 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/samples/testgl.runtime b/libretro/cores/samples/testgl.runtime
deleted file mode 100644
index 8947e1c43..000000000
--- a/libretro/cores/samples/testgl.runtime
+++ /dev/null
@@ -1,30 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/cores/samples/upstream b/libretro/cores/samples/upstream
deleted file mode 160000
index 32aa98eea..000000000
--- a/libretro/cores/samples/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 32aa98eeaad66cc3318d6e821a7a83de75603831
diff --git a/libretro/cores/snes9x/Tuprules.tup b/libretro/cores/snes9x/Tuprules.tup
deleted file mode 100644
index c285d55e0..000000000
--- a/libretro/cores/snes9x/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/snes9x/pkg.dhall b/libretro/cores/snes9x/pkg.dhall
deleted file mode 100644
index 3b7b0c43b..000000000
--- a/libretro/cores/snes9x/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- ''
- }
- }
diff --git a/libretro/cores/snes9x/upstream b/libretro/cores/snes9x/upstream
deleted file mode 160000
index 121576eb0..000000000
--- a/libretro/cores/snes9x/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 121576eb06ec7f1381881710d0ddd013355cd9de
diff --git a/libretro/cores/tyrquake/Tuprules.tup b/libretro/cores/tyrquake/Tuprules.tup
deleted file mode 100644
index f7dfbe2e5..000000000
--- a/libretro/cores/tyrquake/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/tyrquake/pkg.dhall b/libretro/cores/tyrquake/pkg.dhall
deleted file mode 100644
index b0fcd785e..000000000
--- a/libretro/cores/tyrquake/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
- ''
- , game =
- XML.text ""
- , 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
- }
- }
diff --git a/libretro/cores/tyrquake/upstream b/libretro/cores/tyrquake/upstream
deleted file mode 160000
index d058fb7e5..000000000
--- a/libretro/cores/tyrquake/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit d058fb7e58137d92f148f1b81a8b2eb147090aab
diff --git a/libretro/cores/yabause/Tuprules.tup b/libretro/cores/yabause/Tuprules.tup
deleted file mode 100644
index 880d0df2d..000000000
--- a/libretro/cores/yabause/Tuprules.tup
+++ /dev/null
@@ -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 |>
diff --git a/libretro/cores/yabause/runtime b/libretro/cores/yabause/runtime
deleted file mode 100644
index 4ce9a9f76..000000000
--- a/libretro/cores/yabause/runtime
+++ /dev/null
@@ -1,44 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
\ No newline at end of file
diff --git a/libretro/cores/yabause/upstream b/libretro/cores/yabause/upstream
deleted file mode 160000
index 7bb35b865..000000000
--- a/libretro/cores/yabause/upstream
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 7bb35b865af74282d69f4ecc35ce3a1e0f2d0099
diff --git a/libretro/games/quake_dopa/Tupfile b/libretro/games/quake_dopa/Tupfile
deleted file mode 100644
index b5a63bf81..000000000
--- a/libretro/games/quake_dopa/Tupfile
+++ /dev/null
@@ -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
diff --git a/libretro/games/quake_dopa/runtime b/libretro/games/quake_dopa/runtime
deleted file mode 100644
index 3802f99b1..000000000
--- a/libretro/games/quake_dopa/runtime
+++ /dev/null
@@ -1,35 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/games/streemerz/Tupfile b/libretro/games/streemerz/Tupfile
deleted file mode 100644
index c73886201..000000000
--- a/libretro/games/streemerz/Tupfile
+++ /dev/null
@@ -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
diff --git a/libretro/games/streemerz/runtime b/libretro/games/streemerz/runtime
deleted file mode 100644
index 68117a0f3..000000000
--- a/libretro/games/streemerz/runtime
+++ /dev/null
@@ -1,39 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/libretro/keyboardJoypad.dhall b/libretro/keyboardJoypad.dhall
deleted file mode 100644
index 49315e8c1..000000000
--- a/libretro/keyboardJoypad.dhall
+++ /dev/null
@@ -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"
- ]
- }
diff --git a/libretro/libretro-common b/libretro/libretro-common
deleted file mode 160000
index c216fa1a0..000000000
--- a/libretro/libretro-common
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit c216fa1a0d02a7b9a6a6d3dc3ed618698777a7a0
diff --git a/libretro/pkgDefaults.dhall b/libretro/pkgDefaults.dhall
deleted file mode 100644
index 131b4f1cf..000000000
--- a/libretro/pkgDefaults.dhall
+++ /dev/null
@@ -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"
- ]
- }
- }
diff --git a/libretro/pkgJoypadDefaults.dhall b/libretro/pkgJoypadDefaults.dhall
deleted file mode 100644
index 6258e2d8b..000000000
--- a/libretro/pkgJoypadDefaults.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
- ''
- , libc =
- XML.text "\n"
- , defaultController =
- Some ./keyboardJoypad.dhall
- , game =
- XML.text ""
- , variables = [] : List { mapKey : Text, mapValue : Text }
- }
-
-in { runtime =
- defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
- , frontendConfig =
- frontendConfig
- }
diff --git a/libretro/pkgKeyboardDefaults.dhall b/libretro/pkgKeyboardDefaults.dhall
deleted file mode 100644
index 2184b634d..000000000
--- a/libretro/pkgKeyboardDefaults.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
- ''
- , libc =
- XML.text "\n"
- , defaultController =
- Some
- { port =
- 0
- , device =
- 3
- , binds =
- [] : List { genode : Text, libretro : Text }
- }
- , game =
- XML.text ""
- , variables = [] : List { mapKey : Text, mapValue : Text }
- }
-
-in { runtime =
- defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
- , frontendConfig =
- frontendConfig
- }
diff --git a/libretro/retro_frontend b/libretro/retro_frontend
deleted file mode 160000
index 4395cfdd5..000000000
--- a/libretro/retro_frontend
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 4395cfdd597c114bf24ed70fdf8f072f65576122
diff --git a/libretro/tests/240pSuite-SNES/240pSuite-SNES-1.03.zip b/libretro/tests/240pSuite-SNES/240pSuite-SNES-1.03.zip
deleted file mode 100644
index 7d33a6318..000000000
Binary files a/libretro/tests/240pSuite-SNES/240pSuite-SNES-1.03.zip and /dev/null differ
diff --git a/libretro/tests/240pSuite-SNES/Tupfile b/libretro/tests/240pSuite-SNES/Tupfile
deleted file mode 100644
index 694b3b8ba..000000000
--- a/libretro/tests/240pSuite-SNES/Tupfile
+++ /dev/null
@@ -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 |>
diff --git a/libretro/tests/240pSuite-SNES/pkg.dhall b/libretro/tests/240pSuite-SNES/pkg.dhall
deleted file mode 100644
index 77c96d61f..000000000
--- a/libretro/tests/240pSuite-SNES/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- ''
- }
- }
diff --git a/libretro/tests/240pee-NES/240pee-0.08.2.zip b/libretro/tests/240pee-NES/240pee-0.08.2.zip
deleted file mode 100644
index a700ac2e0..000000000
Binary files a/libretro/tests/240pee-NES/240pee-0.08.2.zip and /dev/null differ
diff --git a/libretro/tests/240pee-NES/Tupfile b/libretro/tests/240pee-NES/Tupfile
deleted file mode 100644
index e82cb4429..000000000
--- a/libretro/tests/240pee-NES/Tupfile
+++ /dev/null
@@ -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)
diff --git a/libretro/tests/240pee-NES/pkg.dhall b/libretro/tests/240pee-NES/pkg.dhall
deleted file mode 100644
index 81fe10bef..000000000
--- a/libretro/tests/240pee-NES/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- ''
- }
- }
diff --git a/libretro/tests/topbench/Tupfile b/libretro/tests/topbench/Tupfile
deleted file mode 100644
index d4c790f58..000000000
--- a/libretro/tests/topbench/Tupfile
+++ /dev/null
@@ -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
diff --git a/libretro/tests/topbench/Tuprules.tup b/libretro/tests/topbench/Tuprules.tup
deleted file mode 100644
index 5bab5613f..000000000
--- a/libretro/tests/topbench/Tuprules.tup
+++ /dev/null
@@ -1,3 +0,0 @@
-PKG_DEPENDS += ehmry/raw/topbench/0.38.h
-: $(TUP_CWD)/pkg.dhall |> !render_runtime |>
-: |> !pkg |>
diff --git a/libretro/tests/topbench/dosbox-libretro/Tupfile b/libretro/tests/topbench/dosbox-libretro/Tupfile
deleted file mode 100644
index 0933f528d..000000000
--- a/libretro/tests/topbench/dosbox-libretro/Tupfile
+++ /dev/null
@@ -1,3 +0,0 @@
-TARGET_NAME = topbench_dosbox-libretro
-PKG_DEPENDS += _/src/dosbox
-include_rules
diff --git a/libretro/tests/topbench/dosbox-svn/Tupfile b/libretro/tests/topbench/dosbox-svn/Tupfile
deleted file mode 100644
index 720a8d360..000000000
--- a/libretro/tests/topbench/dosbox-svn/Tupfile
+++ /dev/null
@@ -1,3 +0,0 @@
-TARGET_NAME = topbench_dosbox-svn
-PKG_DEPENDS += _/src/dosbox_svn
-include_rules
diff --git a/libretro/tests/topbench/pkg.dhall b/libretro/tests/topbench/pkg.dhall
deleted file mode 100644
index a435326b6..000000000
--- a/libretro/tests/topbench/pkg.dhall
+++ /dev/null
@@ -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
- ''
-
-
-
-
-
- [autoexec]
- mount c /drive_c
- c:
- TOPBENCH.EXE
-
-
-
-
-
-
-
-
-
- ''
- }
- }