Initial Dhallification
This commit is contained in:
parent
97177c55be
commit
acadf0bf5d
|
@ -106,3 +106,6 @@
|
|||
[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
|
||||
|
|
11
Tupfile
11
Tupfile
|
@ -53,13 +53,6 @@ SHORT_SUM = b2sum -l24
|
|||
|> Makefile
|
||||
# Generate the makefile for creating signed package tarballs
|
||||
|
||||
: index.xml | $(PKG_SED_FILE) |> ^ generate public index^ \
|
||||
xmllint %f | sed \
|
||||
-e 's|_/pkg/\([^"]*\)|local/pkg/\1/current|' \
|
||||
-f $(PKG_SED_FILE) \
|
||||
| xz > %o; \
|
||||
|> public/@(PUBLIC_USER)/index/@(SCULPT_VERSION).xz
|
||||
|
||||
AWK_RUNTIME_PATH = awk -v RS=' ' -F '/' \
|
||||
'/runtime/ {print " <pkg path=\"local/pkg/"$3"/current\"/>"}'
|
||||
|
||||
|
@ -68,3 +61,7 @@ AWK_RUNTIME_PATH = awk -v RS=' ' -F '/' \
|
|||
echo %<pkg> | $(AWK_RUNTIME_PATH) | sort >> %o; \
|
||||
echo '</index>' >> %o |> $(DEPOT_DIR)/index/@(SCULPT_VERSION)
|
||||
# Generate the depot index file
|
||||
|
||||
: index.dhall | $(DEPOT_DIR)/index/<entry> |> \
|
||||
!dhall text < %f | xmllint --format - | xz > %o \
|
||||
|> public/@(PUBLIC_USER)/index/@(SCULPT_VERSION).xz
|
||||
|
|
26
Tuprules.tup
26
Tuprules.tup
|
@ -8,7 +8,7 @@ DEPOT_DIR = $(TUP_CWD)/depot
|
|||
DEPOT_RAW_DIR = $(DEPOT_DIR)/raw
|
||||
DEPOT_PKG_DIR = $(DEPOT_DIR)/pkg
|
||||
|
||||
PUBLIC_DIR = $(TUP_CWD)/public
|
||||
PUBLIC_DIR = $(TUP_CWD)/public/@(PUBLIC_USER)
|
||||
PUBLIC_RAW_DIR = $(PUBLIC_DIR)/raw
|
||||
PUBLIC_BIN_DIR = $(PUBLIC_DIR)/bin
|
||||
PUBLIC_PKG_DIR = $(PUBLIC_DIR)/pkg
|
||||
|
@ -77,7 +77,7 @@ RAW_DIR = $(DEPOT_RAW_DIR)/$(RAW_NAME)/current
|
|||
BIN_DIR = $(DEPOT_BIN_DIR)/$(BIN_NAME)/current
|
||||
# Destination for locally defined binary package
|
||||
|
||||
PKG_DIR = $(DEPOT_BIN_DIR)/$(BIN_NAME)/current
|
||||
PKG_DIR = $(DEPOT_PKG_DIR)/$(PKG_NAME)/current
|
||||
# Destination for locally defined runtime package
|
||||
|
||||
!raw = |> ^ generate raw metadata^ \
|
||||
|
@ -199,3 +199,25 @@ endif
|
|||
tmp.o; \
|
||||
rm tmp.o; \
|
||||
|> $(STUB_DIR)/%B.lib.so $(GENODE_DIR)/<stub>
|
||||
|
||||
DHALL_PRELUDE = $(TUP_CWD)/dhall/Prelude.dhall
|
||||
DHALL_GENODE = $(TUP_CWD)/dhall/package.dhall
|
||||
DHALL_GENODE_TYPES = $(TUP_CWD)/dhall/types.dhall
|
||||
DHALL = DHALL_PRELUDE=$(DHALL_PRELUDE) DHALL_GENODE=$(DHALL_GENODE) DHALL_GENODE_TYPES=$(DHALL_GENODE_TYPES) dhall
|
||||
|
||||
!dhall = |> ^b dhall > %o^ $(DHALL) |>
|
||||
|
||||
DEPOT_MANIFEST = $(PUBLIC_DIR)/manifest.dhall
|
||||
|
||||
!index_pkg = | $(PUBLIC_DIR)/<manifest> |> ^ Generate index.dhall^\
|
||||
$(DHALL) <<< '{ info = (%f).indexInfo, name = "$(PKG_NAME)", version = ($(DEPOT_MANIFEST)).pkg.$(PKG_NAME).version }' > %o \
|
||||
|> $(PKG_DIR)/index.dhall $(DEPOT_DIR)/index/<entry>
|
||||
|
||||
!render_runtime = |> ^o render %o^ \
|
||||
$(DHALL) text <<< '$(ERRATA_DIR)/renderRuntime.dhall (%f).runtime' \
|
||||
> $(DEPOT_PKG_DIR)/$(PKG_NAME)/current/runtime; \
|
||||
xmllint --noout -schema $(ERRATA_DIR)/runtime.xsd - \
|
||||
< $(DEPOT_PKG_DIR)/$(PKG_NAME)/current/runtime; \
|
||||
|> \
|
||||
$(DEPOT_PKG_DIR)/$(PKG_NAME)/current/runtime \
|
||||
$(DEPOT_DIR)/<pkg> \
|
||||
|
|
|
@ -15,7 +15,7 @@ CONFIG_PUBLIC_KEY=6E10414EE7160781F5FEE8FFB14D043A26B3D2C7
|
|||
|
||||
CONFIG_PUBLIC_PKG_AUDIO_PLAYER=ehmry/pkg/audio_player/2019-05-15
|
||||
CONFIG_PUBLIC_PKG_AVPLAY=ehmry/pkg/avplay/2019-04-24
|
||||
CONFIG_PUBLIC_PKG_BACKDROP=ehmry/pkg/backdrop/2019-05-24
|
||||
CONFIG_PUBLIC_PKG_BACKDROP=genodelabs/pkg/backdrop/2019-07-08
|
||||
CONFIG_PUBLIC_PKG_NOUX_SYSTEM=ehmry/pkg/noux-system/2019-05-24
|
||||
CONFIG_PUBLIC_PKG_PDF_VIEW=ehmry/pkg/pdf_view/2019-05-17
|
||||
|
||||
|
@ -25,7 +25,7 @@ CONFIG_PUBLIC_SRC_CHROOT=_/src/chroot
|
|||
CONFIG_PUBLIC_SRC_EXPAT=nfeske/src/expat/2019-02-19
|
||||
CONFIG_PUBLIC_SRC_FS_LOG=_/src/fs_log
|
||||
CONFIG_PUBLIC_SRC_INIT=_/src/init
|
||||
CONFIG_PUBLIC_SRC_LIBC=nfeske/src/libc/2019-06-24
|
||||
CONFIG_PUBLIC_SRC_LIBC=genodelabs/src/libc/2019-07-08
|
||||
CONFIG_PUBLIC_SRC_LIBCRYPTO=ehmry/src/libcrypto/2019-05-24
|
||||
CONFIG_PUBLIC_SRC_LIBICONV=genodelabs/src/libiconv/2019-05-26
|
||||
CONFIG_PUBLIC_SRC_LIBMPG123=ehmry/src/libmpg123/2019-05-24
|
||||
|
|
|
@ -49,6 +49,7 @@ pkgs.mkShell {
|
|||
''
|
||||
export LD_DIR=${lddir}
|
||||
export TOOLCHAIN_DIR=${toolchain}
|
||||
export HOST_LIBC=${stdenv.glibc.dev}
|
||||
export SYSLINUX=${syslinux}
|
||||
export PROMPT_DIRTRIM=2
|
||||
export PS1="\[\033[1;30m\]Genode-dev [\[\033[1;37m\]\w\[\033[1;30m\]] $\[\033[0m\] "
|
||||
|
|
|
@ -0,0 +1 @@
|
|||
Subproject commit d3273fff08175f64ce4a027e1867abff4bb5abdb
|
|
@ -0,0 +1,7 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let types = env:DHALL_GENODE_TYPES
|
||||
|
||||
let XML = Genode.Prelude.XML
|
||||
|
||||
in λ(runtime : types.Runtime) → XML.render (Genode.Runtime.toXML runtime)
|
|
@ -0,0 +1,97 @@
|
|||
let owner = "ehmry"
|
||||
|
||||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let Prelude = Genode.Prelude
|
||||
|
||||
let List/map = Prelude.List.map
|
||||
|
||||
let XML = Prelude.XML
|
||||
|
||||
let XML/Type =
|
||||
/home/repo/dhall-lang/Prelude/XML/Type sha256:461930f3aab769ba537d1a4fd71f411504b0c8d1c1a78d65177be8ded0df8a5c
|
||||
? /home/repo/dhall-lang/Prelude/XML/Type
|
||||
|
||||
let Entry = { info : Text, name : Text, version : Text }
|
||||
|
||||
let ownedEntry =
|
||||
λ(owner : Text)
|
||||
→ λ(e : Entry)
|
||||
→ XML.leaf
|
||||
{ name =
|
||||
"pkg"
|
||||
, attributes =
|
||||
[ { mapKey = "info", mapValue = e.info }
|
||||
, { mapKey =
|
||||
"path"
|
||||
, mapValue =
|
||||
"${owner}/pkg/${e.name}/${e.version}"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
let entry = ownedEntry owner
|
||||
|
||||
let subIndex =
|
||||
λ(name : Text)
|
||||
→ λ(entries : List Entry)
|
||||
→ XML.element
|
||||
{ name =
|
||||
"index"
|
||||
, attributes =
|
||||
[ { mapKey = "name", mapValue = name } ]
|
||||
, content =
|
||||
List/map Entry XML/Type entry entries
|
||||
}
|
||||
|
||||
let emu =
|
||||
subIndex
|
||||
"Emulators and game engines"
|
||||
[ ./depot/pkg/fceumm/current/index.dhall
|
||||
, ./depot/pkg/gambatte/current/index.dhall
|
||||
, ./depot/pkg/snes9x/current/index.dhall
|
||||
, ./depot/pkg/mgba/current/index.dhall
|
||||
]
|
||||
|
||||
let games =
|
||||
subIndex
|
||||
"Games"
|
||||
[ ./depot/pkg/libretro-2048/current/index.dhall
|
||||
, ./depot/pkg/tyrquake/current/index.dhall
|
||||
]
|
||||
|
||||
let streams =
|
||||
subIndex
|
||||
"Streams"
|
||||
[ ./depot/pkg/ifm1/current/index.dhall
|
||||
, ./depot/pkg/ifm2/current/index.dhall
|
||||
, ./depot/pkg/ifm3/current/index.dhall
|
||||
]
|
||||
|
||||
let utilities =
|
||||
subIndex
|
||||
"Utilities"
|
||||
[ ./depot/pkg/depot_9P/current/index.dhall
|
||||
, ./depot/pkg/show_input/current/index.dhall
|
||||
, ./depot/pkg/nic_bus/current/index.dhall
|
||||
, ./depot/pkg/noux-system/current/index.dhall
|
||||
, ./depot/pkg/backdrop/current/index.dhall
|
||||
]
|
||||
|
||||
let index =
|
||||
XML.element
|
||||
{ name =
|
||||
"index"
|
||||
, attributes =
|
||||
XML.emptyAttributes
|
||||
, content =
|
||||
[ emu
|
||||
, games
|
||||
, streams
|
||||
, utilities
|
||||
, XML.text
|
||||
"<pkg path=\"cnuke/pkg/bsd_audio_drv/2019-07-02\" info=\"OpenBSD audio driver\"/>"
|
||||
]
|
||||
}
|
||||
|
||||
in XML.render index
|
127
index.xml
127
index.xml
|
@ -1,127 +0,0 @@
|
|||
<index>
|
||||
|
||||
<index name="Audio">
|
||||
<pkg path="_/pkg/mixer" info="Mixer component"/>
|
||||
<pkg path="_/pkg/bsd_audio_drv" info="OpenBSD audio driver (mixer client)"/>
|
||||
<pkg path="ehmry/pkg/audio_player/2019-05-24" info="Cnuke's audio player"/>
|
||||
<index name="Radio streams">
|
||||
<pkg path="_/pkg/ifm1" info="Intergalactic FM 1"/>
|
||||
<pkg path="_/pkg/ifm2" info="Intergalactic FM 2"/>
|
||||
<pkg path="_/pkg/ifm3" info="Intergalactic FM 3"/>
|
||||
</index>
|
||||
</index>
|
||||
|
||||
<index name="Emulators and game engines">
|
||||
<pkg path="_/pkg/dosbox" info="Experimental Libretro port of DOSBox"/>
|
||||
<pkg path="_/pkg/fceumm" info="NES"/>
|
||||
<pkg path="_/pkg/gambatte" info="GB"/>
|
||||
<pkg path="_/pkg/mgba" info="GBA"/>
|
||||
<pkg path="_/pkg/nxengine" info="Cave Story engine without game data"/>
|
||||
<pkg path="_/pkg/snes9x" info="SNES"/>
|
||||
<index name="Tests">
|
||||
<pkg path="_/pkg/240pee-NES" info="NES tests"/>
|
||||
<pkg path="_/pkg/240pSuite-SNES" info="SNES tests"/>
|
||||
<pkg path="_/pkg/advanced_tests" info="An advanced test core written in C"/>
|
||||
<pkg path="_/pkg/button_test" info="Libretro joypad button test"/>
|
||||
<pkg path="_/pkg/topbench_dosbox-libretro" info="The Oldskool PC Benchmark running in DOSBox"/>
|
||||
<pkg path="_/pkg/topbench_dosbox-svn" info="The Oldskool PC Benchmark running in DOSBox"/>
|
||||
</index>
|
||||
</index>
|
||||
|
||||
<index name="Games">
|
||||
<pkg path="_/pkg/2048" info="Threes! clone"/>
|
||||
<pkg path="ehmry/pkg/abuse/2019-05-24" info="Side-scrolling shooter"/>
|
||||
<pkg path="_/pkg/cave_story-en" info="Cave Story ~ Doukutsu Monogatari is a jumping-and-shooting action game."/>
|
||||
<pkg path="_/pkg/mrboom" info="Bomberman clone"/>
|
||||
<pkg path="_/pkg/quake_dopa" info="Quake Episode 5: Dimension of the Past (id1/pak1.pak required)"/>
|
||||
<pkg path="_/pkg/streemerz" info="Streemerz remake"/>
|
||||
<pkg path="_/pkg/tyrquake" info="Quake (shareware pak)"/>
|
||||
</index>
|
||||
|
||||
<index name="Block devices">
|
||||
<!-- <pkg path="_/pkg/alpine-standard-x86" info="Alpine live ISO service"/> -->
|
||||
<!-- <pkg path="_/pkg/alpine-virt-x86_64" info="Alpine live ISO service"/> -->
|
||||
<pkg path="_/pkg/dummy_block" info="Dummy block device"/>
|
||||
<pkg path="_/pkg/fs_block_4G" info="File-system backed 4GiB block device"/>
|
||||
<pkg path="_/pkg/fs_block_8G" info="File-system backed 8GiB block device"/>
|
||||
<!-- <pkg path="_/pkg/ReactOS-live" info="ReactOS live ISO service"/> -->
|
||||
</index>
|
||||
|
||||
<index name="VMMs">
|
||||
<pkg path="genodelabs/pkg/vbox5-nova-sculpt/2019-03-18" info="VBox5 for running Linux"/>
|
||||
<pkg path="_/pkg/seoul-nova" info="Seoul VMM with routable block devices"/>
|
||||
<index name="Installers">
|
||||
<pkg path="_/pkg/fetch_alpine_x86_64" info="Fetch Alpine Linux virt ISO"/>
|
||||
<pkg path="_/pkg/fetch_freebsd_12_amd64" info="Fetch FreeBSD 12 mini-memstick"/>
|
||||
<pkg path="_/pkg/fetch_nixos_x86_64" info="Fetch NixOS minimal ISO"/>
|
||||
<pkg path="_/pkg/fetch_ubuntu_x86_64" info="Fetch Ubuntu netboot installer ISO"/>
|
||||
</index>
|
||||
<index name="Experimental">
|
||||
<pkg path="_/pkg/alpine_seoul_nova_installer" info="Alpine Linux installer as a Seoul VMM with routeable block device"/>
|
||||
<pkg path="_/pkg/openbsd_seoul_nova_installer" info="OpenBSD installer as a Seoul VMM with routeable block device"/>
|
||||
<pkg path="_/pkg/vbox5-nova" info="Vbox with routable block devices"/>
|
||||
</index>
|
||||
</index>
|
||||
|
||||
<index name="Operating system demos">
|
||||
<pkg path="_/pkg/ban.ai_multics" info="BAN.AI Public Access Multics"/>
|
||||
<pkg path="_/pkg/oberon" info="Oberon RISC emulator (requires three-button mouse)"/>
|
||||
<pkg path="_/pkg/soyuz" info="Training program for the Soyuz-TMA spacecraft"/>
|
||||
<pkg path="_/pkg/templeos" info="The Temple Operating System hosted in VirtualBox for NOVA"/>
|
||||
</index>
|
||||
|
||||
<index name="Utility">
|
||||
|
||||
<index name="Graphic">
|
||||
<!-- <pkg path="ehmry/pkg/flif_capture/2019-03-22" info="Screen capture utility"/> -->
|
||||
<pkg path="_/pkg/backdrop" info="Nitpicker backdrop"/>
|
||||
<!-- <pkg path="ehmry/pkg/flif_view/2019-03-22" info="FLIF file viewer (experimental)"/> -->
|
||||
<pkg path="ehmry/pkg/grafx2/2019-05-24" info="Bitmap paint program (ported by cnuke)"/>
|
||||
</index>
|
||||
|
||||
<index name="Network">
|
||||
<pkg path="_/pkg/arora" info="Arora web browser (cproc's package with clipboard)"/>
|
||||
<pkg path="_/pkg/nic_bridge" info="Ethernet bridge"/>
|
||||
<pkg path="_/pkg/nic_bridge_logged" info="Logged ethernet bridge"/>
|
||||
<pkg path="_/pkg/nic_bus" info="Switched ethernet bus"/>
|
||||
<pkg path="_/pkg/ninep" info="9P server"/>
|
||||
<pkg path="_/pkg/ssh_client" info="SSH client"/>
|
||||
<pkg path="_/pkg/kiosk" info="Kiosk-style web browser"/>
|
||||
</index>
|
||||
|
||||
<index name="UI">
|
||||
<pkg path="ehmry/pkg/themed_wm/2019-05-24" info="Window manager that should work"/>
|
||||
<pkg path="_/pkg/wm" info="Base window manager"/>
|
||||
<pkg path="_/pkg/motif_decorator" info="Motif style window decorator"/>
|
||||
<pkg path="_/pkg/carn_layouter" info="Piling window layouter"/>
|
||||
</index>
|
||||
|
||||
<index name="Other">
|
||||
<!-- <pkg path="_/pkg/block_shred" info="Fill a block device with psuedo-random noise"/> -->
|
||||
<pkg path="_/pkg/depot_9P" info="Serve /depot/local over 9P"/>
|
||||
<!-- <pkg path="ehmry/pkg/jitter_sponge/2019-03-31" info="Entropy source"/> -->
|
||||
<!-- <pkg path="ehmry/pkg/noux-build-x86/2019-03-20" info="Noux build environment"/> -->
|
||||
<pkg path="_/pkg/noux-system" info="Noux administration environment"/>
|
||||
<pkg path="_/pkg/show_input" info="Nitpicker input event debugger"/>
|
||||
</index>
|
||||
</index>
|
||||
|
||||
<index name="Experimental">
|
||||
<index name="Semantic audio player demo">
|
||||
<pkg path="_/pkg/blob_service" info="Blobsets package with file-system and HTTP frontends"/>
|
||||
<pkg path="_/pkg/musicbrainz_playlist_generator" info="XSPF playlist generator"/>
|
||||
<pkg path="_/pkg/xspf_view" info="XSPF playlist viewer"/>
|
||||
</index>
|
||||
<pkg path="_/pkg/4do" info="3DO emulator"/>
|
||||
<pkg path="ehmry/pkg/avplay/2019-05-24"/>
|
||||
<pkg path="_/pkg/bluemsx"/>
|
||||
<pkg path="_/pkg/cruzes" info="An unfinished Picross Libretro core"/>
|
||||
<pkg path="_/pkg/monero_vanity"/>
|
||||
<pkg path="_/pkg/mu"/>
|
||||
<pkg path="_/pkg/testgl"/>
|
||||
<pkg path="_/pkg/yabause" info="Sega Saturn emulator"/>
|
||||
</index>
|
||||
|
||||
<pkg path="ehmry/pkg/fonts_fs/2019-05-24" info="Fonts provider"/>
|
||||
<pkg path="_/pkg/chroot" info="Automatic file-system session partitioner"/>
|
||||
</index>
|
|
@ -10,5 +10,7 @@ include upstream/Makefile.common
|
|||
: {core} |> !collect_bin |>
|
||||
: |> !bin |>
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,43 @@
|
|||
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
|
||||
⫽ { 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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,32 +0,0 @@
|
|||
<runtime ram="16M" caps="128" 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>
|
||||
<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>
|
||||
|
||||
</runtime>
|
|
@ -15,5 +15,7 @@ DEFINES += -Wno-write-strings
|
|||
: {core} |> !collect_bin |>
|
||||
: |> !bin |>
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,9 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let defaults = ./../../pkgJoypadDefaults.dhall
|
||||
|
||||
in { indexInfo =
|
||||
"NES emulator"
|
||||
, runtime =
|
||||
defaults.runtime ⫽ { ram = Genode.units.MiB 16 }
|
||||
}
|
|
@ -1,39 +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"/>
|
||||
<vfs>
|
||||
<fs/>
|
||||
<dir name="dev"> <log label="core"/> </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>
|
|
@ -20,5 +20,7 @@ include upstream/Makefile.common
|
|||
PKG_DEPENDS += \
|
||||
@(PUBLIC_SRC_STDCXX) \
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,14 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let defaults = ./../../pkgJoypadDefaults.dhall
|
||||
|
||||
in { indexInfo =
|
||||
"Game Boy Emulator"
|
||||
, runtime =
|
||||
defaults.runtime
|
||||
⫽ { ram =
|
||||
Genode.units.MiB 8
|
||||
, roms =
|
||||
defaults.runtime.roms # [ "stdcxx.lib.so" ]
|
||||
}
|
||||
}
|
|
@ -1,40 +0,0 @@
|
|||
<runtime ram="8M" 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="stdcxx.lib.so"/>
|
||||
<rom label="retro_frontend"/>
|
||||
<rom label="vfs.lib.so"/>
|
||||
</content>
|
||||
|
||||
<config>
|
||||
<libc stdout="/dev/log" stderr="/dev/log"/>
|
||||
<vfs>
|
||||
<fs/>
|
||||
<dir name="dev"> <log label="core"/> </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>
|
|
@ -23,5 +23,7 @@ CFLAGS += $(INCLUDES)
|
|||
PKG_DEPENDS += \
|
||||
@(PUBLIC_SRC_STDCXX) \
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,44 @@
|
|||
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
|
||||
⫽ { 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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,42 +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="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_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>
|
||||
|
||||
</runtime>
|
|
@ -18,5 +18,5 @@ CXXFLAGS += -fno-rtti -fno-exceptions
|
|||
: {core} |> !collect_bin |>
|
||||
: |> !bin |>
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |>
|
||||
: |> !pkg |>
|
||||
|
|
|
@ -0,0 +1,36 @@
|
|||
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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -21,5 +21,7 @@ CXXFLAGS += -DRIGHTSHIFT_IS_SAR -D__LIBRETRO__ -DALLOW_CPU_OVERCLOCK
|
|||
PKG_DEPENDS += \
|
||||
@(PUBLIC_SRC_STDCXX) \
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,46 @@
|
|||
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" ]
|
||||
, ram =
|
||||
Genode.units.MiB 24
|
||||
, caps =
|
||||
192
|
||||
, 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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,44 +0,0 @@
|
|||
<runtime ram="32M" 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>
|
|
@ -28,5 +28,7 @@ include upstream/Makefile.common
|
|||
PKG_DEPENDS += \
|
||||
ehmry/raw/quake_shareware/1.06 \
|
||||
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: $(TUP_CWD)/pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,37 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let Prelude = Genode.Prelude
|
||||
|
||||
let XML = Prelude.XML
|
||||
|
||||
let defaults = ./../../pkgDefaults.dhall
|
||||
|
||||
in { indexInfo =
|
||||
"QUAKE engine"
|
||||
, runtime =
|
||||
defaults.runtime
|
||||
⫽ { ram =
|
||||
Genode.units.MiB 64
|
||||
, caps =
|
||||
256
|
||||
, roms =
|
||||
defaults.runtime.roms # [ "quake_shareware.tar" ]
|
||||
, config =
|
||||
XML.text
|
||||
''
|
||||
<config>
|
||||
<game/>
|
||||
<libc stdout="/dev/log" stderr="/dev/log"/>
|
||||
<vfs>
|
||||
<tar name="quake_shareware.tar"/>
|
||||
<fs/>
|
||||
<dir name="dev"> <log label="core"/> </dir>
|
||||
</vfs>
|
||||
<default-controller port="0" device="3"/>
|
||||
<variables>
|
||||
<variable key="tyrquake_resolution" value="960x600"/>
|
||||
</variables>
|
||||
</config>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,33 +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="retro_frontend"/>
|
||||
<rom label="vfs.lib.so"/>
|
||||
</content>
|
||||
|
||||
<config>
|
||||
<game/>
|
||||
<libc stdout="/dev/log" stderr="/dev/log"/>
|
||||
<vfs>
|
||||
<tar name="quake_shareware.tar"/>
|
||||
<fs/>
|
||||
<dir name="dev"> <log label="core"/> </dir>
|
||||
</vfs>
|
||||
<default-controller port="0" device="3"/>
|
||||
<variables>
|
||||
<variable key="tyrquake_resolution" value="960x600"/>
|
||||
</variables>
|
||||
</config>
|
||||
|
||||
</runtime>
|
|
@ -0,0 +1,23 @@
|
|||
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"
|
||||
]
|
||||
}
|
|
@ -0,0 +1,33 @@
|
|||
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
|
||||
⫽ { ram =
|
||||
Genode.units.MiB 32
|
||||
, caps =
|
||||
128
|
||||
, binary =
|
||||
"retro_frontend"
|
||||
, requires =
|
||||
List/map
|
||||
Text
|
||||
Runtime/Require
|
||||
Genode.Runtime.Require.require
|
||||
[ "audio_out", "file_system", "nitpicker", "rm" ]
|
||||
, roms =
|
||||
[ "retro_frontend"
|
||||
, "libc.lib.so"
|
||||
, "libm.lib.so"
|
||||
, "libretro.so"
|
||||
, "vfs.lib.so"
|
||||
]
|
||||
}
|
||||
}
|
|
@ -0,0 +1,32 @@
|
|||
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/>"
|
||||
}
|
||||
|
||||
in { runtime =
|
||||
defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
|
||||
, frontendConfig =
|
||||
frontendConfig
|
||||
}
|
|
@ -0,0 +1,39 @@
|
|||
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/>"
|
||||
}
|
||||
|
||||
in { runtime =
|
||||
defaults.runtime ⫽ { config = frontend.Config.toXML frontendConfig }
|
||||
, frontendConfig =
|
||||
frontendConfig
|
||||
}
|
|
@ -1 +1 @@
|
|||
Subproject commit 90e1d41b851cb812ab841344a21c4e61f5ff4232
|
||||
Subproject commit 47aa190ab7a41db3f903e0ed93fac8d854cb7c40
|
|
@ -1,4 +1,4 @@
|
|||
TARGET_NAME = 240pSuite-SNES
|
||||
TARGET_NAME = libretro-240pSuite-SNES
|
||||
RAW_VERSION = 1.03
|
||||
include_rules
|
||||
|
||||
|
@ -16,5 +16,8 @@ PKG_DEPENDS += \
|
|||
_/src/retro_frontend \
|
||||
_/raw/$(TARGET_NAME) \
|
||||
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
: ./pkg.dhall |> !render_runtime |> {runtime}
|
||||
|
||||
include &(RAW_RULES)
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,40 @@
|
|||
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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,44 +0,0 @@
|
|||
<runtime ram="32M" caps="192" binary="retro_frontend">
|
||||
|
||||
<requires>
|
||||
<audio_out/>
|
||||
<nitpicker/>
|
||||
<rm/>
|
||||
</requires>
|
||||
|
||||
<content>
|
||||
<rom label="240pSuite.sfc"/>
|
||||
<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>
|
||||
<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>
|
||||
|
||||
</runtime>
|
|
@ -1,4 +1,4 @@
|
|||
TARGET_NAME = 240pee-NES
|
||||
TARGET_NAME = libretro-240pee-NES
|
||||
RAW_VERSION = 0.08.2
|
||||
include_rules
|
||||
|
||||
|
@ -15,7 +15,7 @@ PKG_DEPENDS += \
|
|||
_/src/retro_frontend \
|
||||
_/raw/$(TARGET_NAME) \
|
||||
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
: ./pkg.dhall |> !render_runtime |>
|
||||
|
||||
include &(RAW_RULES)
|
||||
include &(PKG_RULES)
|
||||
|
|
|
@ -0,0 +1,38 @@
|
|||
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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,3 +1,3 @@
|
|||
PKG_DEPENDS += ehmry/raw/topbench/0.38.h
|
||||
: $(TUP_CWD)/runtime |> !collect_pkg_runtime |>
|
||||
: $(TUP_CWD)/pkg.dhall |> !render_runtime |>
|
||||
: |> !pkg |>
|
|
@ -0,0 +1,44 @@
|
|||
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
|
||||
⫽ { 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>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -0,0 +1,31 @@
|
|||
ifeq (@(TUP_ARCH),x86_64)
|
||||
DEPOT_ARCH = x86_64
|
||||
endif
|
||||
|
||||
ifeq ($(DEPOT_ARCH),)
|
||||
error unhandled TUP_ARCH @(TUP_ARCH)
|
||||
endif
|
||||
|
||||
include_rules
|
||||
|
||||
: $(DEPOT_DIR)/<raw-archives> |> \
|
||||
awk -F '/' 'BEGIN { print "{=}"} {print "//{"$3"={version=\""$4"\",owner=\"@(PUBLIC_USER)\"}}" }' $f \
|
||||
<<< %<raw-archives> | dhall > %o\
|
||||
|> raw.dhall {records}
|
||||
|
||||
: $(DEPOT_DIR)/<bin-archives> |> \
|
||||
awk -F '/' 'BEGIN { print "{=}"} {print "//{"$3"={version=\""$4"\",owner=\"@(PUBLIC_USER)\"}}" }' $f <<< %<bin-archives> \
|
||||
| dhall > %o\
|
||||
|> bin.dhall {records}
|
||||
|
||||
SHORT_SUM = b2sum -l24
|
||||
|
||||
: $(DEPOT_DIR)/<pkg> |> \
|
||||
echo '{=}' > %o; \
|
||||
for d in `dirname %<pkg> | tr ' ' '\n' | sort -u`; do \
|
||||
echo $d/`cat $d/.ARCHIVES $d/runtime | $(SHORT_SUM)` | awk -F '/' \
|
||||
'{print "//{"$4"={version=\""substr($6,0,6)"\",owner=\"@(PUBLIC_USER)\"}}"}' >> %o; \
|
||||
done \
|
||||
|> pkg.dhall {records}
|
||||
|
||||
: | {records} |> !dhall <<< '{bin = { $(DEPOT_ARCH) = ./bin.dhall }, pkg = ./pkg.dhall, raw = ./raw.dhall }' > %o |> $(DEPOT_MANIFEST) $(PUBLIC_DIR)/<manifest>
|
|
@ -0,0 +1 @@
|
|||
{ bin = { x86_64 = { ram_block = "2019-02-25" } } }
|
|
@ -0,0 +1,69 @@
|
|||
{ bin =
|
||||
{ x86_64 =
|
||||
{ block_shred =
|
||||
"2019-03-31"
|
||||
, libcrypto =
|
||||
"2019-05-24"
|
||||
, libmpg123 =
|
||||
"2019-05-24"
|
||||
, libpng =
|
||||
"2019-05-24"
|
||||
, libssh =
|
||||
"2019-05-24"
|
||||
, libssl =
|
||||
"2019-05-24"
|
||||
, menu_view =
|
||||
"2019-05-24"
|
||||
, mesa =
|
||||
"2019-05-24"
|
||||
, decorator =
|
||||
"2019-05-24"
|
||||
, mp3_audio_sink =
|
||||
"2019-05-24"
|
||||
, nic_bridge =
|
||||
"2019-05-24"
|
||||
, nit_fb =
|
||||
"2019-05-24"
|
||||
, noux =
|
||||
"2019-05-24"
|
||||
, ncurses =
|
||||
"2019-05-24"
|
||||
, rom_block =
|
||||
"2019-04-05-a"
|
||||
, sdl =
|
||||
"2019-05-24"
|
||||
, seoul-nova =
|
||||
"2019-05-01-a"
|
||||
, show_input =
|
||||
"2019-05-24"
|
||||
, ssh_client =
|
||||
"2019-05-24"
|
||||
, terminal =
|
||||
"2019-05-24-a"
|
||||
, vfs_audit =
|
||||
"2019-04-20"
|
||||
, vfs_jitterentropy =
|
||||
"2019-05-24"
|
||||
, vfs_lwip =
|
||||
"2019-05-24"
|
||||
, vfs_lxip =
|
||||
"2019-05-24"
|
||||
, window_layouter =
|
||||
"2019-05-24"
|
||||
, wm =
|
||||
"2019-05-24"
|
||||
}
|
||||
}
|
||||
, pkg =
|
||||
{ audio_player =
|
||||
"2019-05-15"
|
||||
, avplay =
|
||||
"2019-04-24"
|
||||
, backdrop =
|
||||
"2019-05-24"
|
||||
, noux-system =
|
||||
"2019-05-24"
|
||||
, pdf_view =
|
||||
"2019-05-17"
|
||||
}
|
||||
}
|
|
@ -0,0 +1,15 @@
|
|||
{ bin =
|
||||
{ x86_64 =
|
||||
{ base-nova =
|
||||
"2019-05-26"
|
||||
, libiconv =
|
||||
"2019-05-26"
|
||||
, stdcxx =
|
||||
"2019-05-27"
|
||||
, vbox5-nova =
|
||||
"2019-05-28"
|
||||
, zlib =
|
||||
"2019-05-26"
|
||||
}
|
||||
}
|
||||
}
|
|
@ -0,0 +1,5 @@
|
|||
{ bin =
|
||||
{ x86_64 =
|
||||
{ expat = "2019-02-19", libc = "2019-06-24", vfs_ttf = "2019-06-20" }
|
||||
}
|
||||
}
|
|
@ -1,13 +1,16 @@
|
|||
TARGET_NAME = backdrop
|
||||
|
||||
PKG_DEPENDS += \
|
||||
$(PUBLIC_PKG_BACKDROP) \
|
||||
@(PUBLIC_PKG_BACKDROP) \
|
||||
_/raw/backdrop \
|
||||
|
||||
include_rules
|
||||
|
||||
: backdrop.png |> !collect_raw |>
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
|
||||
: ./pkg.dhall |> !render_runtime |>
|
||||
|
||||
include &(RAW_RULES)
|
||||
include &(PKG_RULES)
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,38 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let XML = Genode.Prelude.XML
|
||||
|
||||
let service = λ(s : Text) → { service = s, label = None Text }
|
||||
|
||||
in { indexInfo =
|
||||
"Desktop backdrop image"
|
||||
, runtime =
|
||||
Genode.Runtime.defaults
|
||||
⫽ { ram =
|
||||
Genode.units.MiB 64
|
||||
, caps =
|
||||
300
|
||||
, binary =
|
||||
"backdrop"
|
||||
, requires =
|
||||
[ service "nitpicker" ]
|
||||
, roms =
|
||||
[ "backdrop"
|
||||
, "backdrop.png"
|
||||
, "libc.lib.so"
|
||||
, "libm.lib.so"
|
||||
, "libpng.lib.so"
|
||||
, "vfs.lib.so"
|
||||
, "zlib.lib.so"
|
||||
]
|
||||
, config =
|
||||
XML.text
|
||||
''
|
||||
<config>
|
||||
<libc/>
|
||||
<vfs> <rom name="backdrop.png"/> </vfs>
|
||||
<image png="backdrop.png" scale="zoom"/>
|
||||
</config>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,21 +0,0 @@
|
|||
<runtime ram="64M" caps="300" binary="backdrop" >
|
||||
|
||||
<requires> <nitpicker/> </requires>
|
||||
|
||||
<content>
|
||||
<rom label="backdrop"/>
|
||||
<rom label="backdrop.png"/>
|
||||
<rom label="libc.lib.so"/>
|
||||
<rom label="libm.lib.so"/>
|
||||
<rom label="libpng.lib.so"/>
|
||||
<rom label="vfs.lib.so"/>
|
||||
<rom label="zlib.lib.so"/>
|
||||
</content>
|
||||
|
||||
<config>
|
||||
<libc/>
|
||||
<vfs> <rom name="backdrop.png"/> </vfs>
|
||||
<image png="backdrop.png" scale="zoom"/>
|
||||
</config>
|
||||
|
||||
</runtime>
|
|
@ -1,4 +1,4 @@
|
|||
TARGET_NAME = ban.ai_multics
|
||||
TARGET_NAME = ban_ai_multics
|
||||
|
||||
PKG_DEPENDS += \
|
||||
@(PUBLIC_SRC_VFS) \
|
|
@ -10,3 +10,5 @@ include_rules
|
|||
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
: |> !pkg |>
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1 @@
|
|||
{ indexInfo = "Serve /depot/local over 9P" }
|
|
@ -1,13 +1,9 @@
|
|||
PKG_DEPENDS += \
|
||||
ehmry/src/mp3_audio_sink/19.02 \
|
||||
@(PUBLIC_SRC_LIBC) \
|
||||
@(PUBLIC_SRC_LIBMPG123) \
|
||||
@(PUBLIC_SRC_MP3_AUDIO_SINK) \
|
||||
@(PUBLIC_SRC_VFS_LWIP) \
|
||||
@(PUBLIC_SRC_ZLIB) \
|
||||
_/src/icy_client \
|
||||
_/src/init \
|
||||
_/src/vfs \
|
||||
_/src/icy_client \
|
||||
|
||||
: ../runtime.in |> sed 's|@STREAM_URL@|$(STREAM_URL)|' %f > %o |> runtime
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
: |> !pkg |>
|
||||
|
|
|
@ -1,3 +1,7 @@
|
|||
TARGET_NAME = ifm1
|
||||
STREAM_URL = http://radio.intergalactic.fm:80/1
|
||||
include_rules
|
||||
|
||||
: ./pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,2 @@
|
|||
../pkg.dhall "http://radio.intergalactic.fm:80/1"
|
||||
∧ { indexInfo = "Intergalactic FM 1" }
|
|
@ -1,3 +1,7 @@
|
|||
TARGET_NAME = ifm2
|
||||
STREAM_URL = http://radio.intergalactic.fm:80/2
|
||||
include_rules
|
||||
|
||||
: ./pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,2 @@
|
|||
../pkg.dhall "http://radio.intergalactic.fm:80/2"
|
||||
∧ { indexInfo = "Intergalactic FM 2" }
|
|
@ -1,3 +1,7 @@
|
|||
TARGET_NAME = ifm3
|
||||
STREAM_URL = http://radio.intergalactic.fm:80/3
|
||||
include_rules
|
||||
|
||||
: ./pkg.dhall |> !render_runtime |> {runtime}
|
||||
: |> !pkg |>
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,2 @@
|
|||
../pkg.dhall "http://radio.intergalactic.fm:80/3"
|
||||
∧ { indexInfo = "Intergalactic FM 3" }
|
|
@ -0,0 +1,83 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let XML = Genode.Prelude.XML
|
||||
|
||||
let service = λ(s : Text) → { service = s, label = None Text }
|
||||
|
||||
let config =
|
||||
λ ( url
|
||||
: Text
|
||||
)
|
||||
→ { ram =
|
||||
Genode.units.MiB 32
|
||||
, caps =
|
||||
768
|
||||
, requires =
|
||||
[ service "audio_out"
|
||||
, service "nic"
|
||||
, service "report"
|
||||
, service "rm"
|
||||
, service "rtc"
|
||||
]
|
||||
, roms =
|
||||
[ "icy_client"
|
||||
, "init"
|
||||
, "libc.lib.so"
|
||||
, "libm.lib.so"
|
||||
, "libmpg123.lib.so"
|
||||
, "mp3_audio_sink"
|
||||
, "vfs.lib.so"
|
||||
, "vfs_lwip.lib.so"
|
||||
, "zlib.lib.so"
|
||||
]
|
||||
, config =
|
||||
XML.text
|
||||
''
|
||||
<config>
|
||||
<parent-provides>
|
||||
<service name="CPU"/>
|
||||
<service name="LOG"/>
|
||||
<service name="PD"/>
|
||||
<service name="RM"/>
|
||||
<service name="ROM"/>
|
||||
<service name="Audio_out"/>
|
||||
<service name="Timer"/>
|
||||
<service name="Nic"/>
|
||||
<service name="Report"/>
|
||||
<service name="Rtc"/>
|
||||
</parent-provides>
|
||||
<start name="icy_client" caps="512">
|
||||
<resource name="RAM" quantum="16M"/>
|
||||
<config>
|
||||
<stream url="${url}" dest="/terminal" report="yes"/>
|
||||
<libc stderr="/log" stdout="/log" socket="/socket" rtc="/rtc" rng="/rtc"/>
|
||||
<vfs>
|
||||
<dir name="socket"> <lwip dhcp="yes"/> </dir>
|
||||
<log/>
|
||||
<rtc/>
|
||||
<terminal/>
|
||||
</vfs>
|
||||
</config>
|
||||
<route>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="mp3_audio_sink" caps="256">
|
||||
<resource name="RAM" quantum="8M"/>
|
||||
<provides>
|
||||
<service name="Terminal"/>
|
||||
</provides>
|
||||
<config>
|
||||
<vfs> <null/> </vfs>
|
||||
<libc stdout="/null" stderr="/null"/>
|
||||
</config>
|
||||
<route>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
</config>
|
||||
''
|
||||
}
|
||||
|
||||
in λ(url : Text) → { runtime = Genode.Runtime.defaults // (config url) }
|
|
@ -1,66 +0,0 @@
|
|||
<runtime ram="32M" caps="768" binary="init">
|
||||
|
||||
<requires>
|
||||
<audio_out/>
|
||||
<nic/>
|
||||
<report/>
|
||||
<rm/>
|
||||
</requires>
|
||||
|
||||
<config>
|
||||
<parent-provides>
|
||||
<service name="CPU"/>
|
||||
<service name="LOG"/>
|
||||
<service name="PD"/>
|
||||
<service name="RM"/>
|
||||
<service name="ROM"/>
|
||||
<service name="Audio_out"/>
|
||||
<service name="Timer"/>
|
||||
<service name="Nic"/>
|
||||
<service name="Report"/>
|
||||
</parent-provides>
|
||||
<start name="icy_client" caps="512">
|
||||
<resource name="RAM" quantum="16M"/>
|
||||
<config>
|
||||
<stream url="@STREAM_URL@" dest="/terminal" report="yes"/>
|
||||
<libc stderr="/log" stdout="/log" socket="/socket" rtc="/rtc"/>
|
||||
<vfs>
|
||||
<dir name="socket"> <lwip dhcp="yes"/> </dir>
|
||||
<log/>
|
||||
<terminal/>
|
||||
<inline name="rtc">2001-01-01 00:01</inline>
|
||||
</vfs>
|
||||
</config>
|
||||
<route>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="mp3_audio_sink" caps="256">
|
||||
<resource name="RAM" quantum="8M"/>
|
||||
<provides>
|
||||
<service name="Terminal"/>
|
||||
</provides>
|
||||
<config>
|
||||
<vfs> <null/> </vfs>
|
||||
<libc stdout="/null" stderr="/null"/>
|
||||
</config>
|
||||
<route>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
</config>
|
||||
|
||||
<content>
|
||||
<rom label="icy_client"/>
|
||||
<rom label="init"/>
|
||||
<rom label="libc.lib.so"/>
|
||||
<rom label="libm.lib.so"/>
|
||||
<rom label="libmpg123.lib.so"/>
|
||||
<rom label="mp3_audio_sink"/>
|
||||
<rom label="vfs.lib.so"/>
|
||||
<rom label="vfs_lwip.lib.so"/>
|
||||
<rom label="zlib.lib.so"/>
|
||||
</content>
|
||||
|
||||
</runtime>
|
|
@ -1,18 +1,20 @@
|
|||
TARGET_NAME = noux-system
|
||||
|
||||
PKG_DEPENDS += \
|
||||
@(PUBLIC_SRC_LIBC) \
|
||||
@(PUBLIC_SRC_VFS) \
|
||||
@(PUBLIC_SRC_INIT) \
|
||||
@(PUBLIC_SRC_TERMINAL) \
|
||||
@(PUBLIC_SRC_POSIX) \
|
||||
@(PUBLIC_SRC_NOUX) \
|
||||
@(PUBLIC_SRC_NCURSES) \
|
||||
ehmry/src/bash-minimal/2019-05-24 \
|
||||
ehmry/src/vim-minimal/2019-05-24 \
|
||||
ehmry/src/coreutils-minimal/2019-05-24 \
|
||||
ehmry/src/vim-minimal/2019-05-24 \
|
||||
@(PUBLIC_SRC_LIBC) \
|
||||
@(PUBLIC_SRC_NCURSES) \
|
||||
@(PUBLIC_SRC_NOUX) \
|
||||
@(PUBLIC_SRC_TERMINAL) \
|
||||
_/src/posix \
|
||||
_/src/init \
|
||||
_/src/vfs \
|
||||
|
||||
include_rules
|
||||
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
: ./pkg.dhall |> !render_runtime |>
|
||||
: |> !pkg |>
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,118 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let Prelude = Genode.Prelude
|
||||
|
||||
let XML = Prelude.XML
|
||||
|
||||
let service = λ(s : Text) → { service = s, label = None Text }
|
||||
|
||||
let serviceLabel = λ(s : Text) → λ(l : Text) → { service = s, label = Some l }
|
||||
|
||||
let fsService = λ(l : Text) → serviceLabel "file_system" l
|
||||
|
||||
in { indexInfo =
|
||||
"Noux administration environment"
|
||||
, runtime =
|
||||
Genode.Runtime.defaults
|
||||
⫽ { ram =
|
||||
Genode.units.MiB 72
|
||||
, caps =
|
||||
1000
|
||||
, requires =
|
||||
[ fsService "config"
|
||||
, fsService "report"
|
||||
, fsService "target"
|
||||
, fsService "fonts"
|
||||
, service "nitpicker"
|
||||
, serviceLabel "report" "clipboard"
|
||||
, serviceLabel "rom" "clipboard"
|
||||
]
|
||||
, roms =
|
||||
[ "libc.lib.so"
|
||||
, "libm.lib.so"
|
||||
, "init"
|
||||
, "terminal"
|
||||
, "noux"
|
||||
, "libc_noux.lib.so"
|
||||
, "posix.lib.so"
|
||||
, "ncurses.lib.so"
|
||||
, "bash-minimal.tar"
|
||||
, "coreutils-minimal.tar"
|
||||
, "vim-minimal.tar"
|
||||
, "vfs.lib.so"
|
||||
]
|
||||
, config =
|
||||
XML.text
|
||||
''
|
||||
<config>
|
||||
<parent-provides>
|
||||
<service name="ROM"/>
|
||||
<service name="PD"/>
|
||||
<service name="RM"/>
|
||||
<service name="CPU"/>
|
||||
<service name="LOG"/>
|
||||
<service name="Timer"/>
|
||||
<service name="File_system"/>
|
||||
<service name="Nitpicker"/>
|
||||
<service name="Report"/>
|
||||
</parent-provides>
|
||||
|
||||
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
|
||||
|
||||
<default caps="100"/>
|
||||
|
||||
<start name="nit_fb">
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides> <service name="Framebuffer"/> <service name="Input"/> </provides>
|
||||
<config xpos="10" ypos="10" initial_width="800" initial_height="600"/>
|
||||
<route>
|
||||
<service name="Nitpicker"> <parent label="terminal"/> </service>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="terminal">
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides> <service name="Terminal"/> </provides>
|
||||
<config copy="yes" paste="yes">
|
||||
<vfs> <dir name="fonts"> <fs/> </dir> </vfs>
|
||||
</config>
|
||||
<route>
|
||||
<service name="File_system"> <parent label="fonts"/> </service>
|
||||
<service name="Report" label="clipboard"> <parent label="clipboard"/> </service>
|
||||
<service name="ROM" label="clipboard"> <parent label="clipboard"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="noux" caps="500">
|
||||
<resource name="RAM" quantum="60M" />
|
||||
<exit propagate="yes"/>
|
||||
<config>
|
||||
<fstab>
|
||||
<tar name="bash-minimal.tar" />
|
||||
<tar name="coreutils-minimal.tar" />
|
||||
<tar name="vim-minimal.tar" />
|
||||
<dir name="dev"> <zero/> <null/> </dir>
|
||||
<dir name="rw"> <fs label="target"/> </dir>
|
||||
<dir name="report"> <fs label="report"/> </dir>
|
||||
<dir name="config"> <fs label="config"/> </dir>
|
||||
<dir name="tmp"> <ram /> </dir>
|
||||
</fstab>
|
||||
<start name="/bin/bash">
|
||||
<env name="TERM" value="screen" />
|
||||
<env name="PS1" value="noux:$PWD> " />
|
||||
</start>
|
||||
</config>
|
||||
<route>
|
||||
<service name="File_system" label="target"> <parent label="target"/> </service>
|
||||
<service name="File_system" label="config"> <parent label="config"/> </service>
|
||||
<service name="File_system" label="report"> <parent label="report"/> </service>
|
||||
<service name="Terminal"> <child name="terminal"/> </service>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
</config>
|
||||
''
|
||||
}
|
||||
}
|
|
@ -1,103 +0,0 @@
|
|||
<runtime ram="72M" caps="1000" binary="init" config="noux-system.config">
|
||||
|
||||
<requires>
|
||||
<file_system label="config"/>
|
||||
<file_system label="report"/>
|
||||
<file_system label="target"/>
|
||||
<file_system label="fonts"/>
|
||||
<nitpicker/>
|
||||
<rom label="vimrc"/>
|
||||
</requires>
|
||||
|
||||
<content>
|
||||
<rom label="libc.lib.so"/>
|
||||
<rom label="libm.lib.so"/>
|
||||
<rom label="init"/>
|
||||
<rom label="terminal"/>
|
||||
<rom label="noux"/>
|
||||
<rom label="libc_noux.lib.so"/>
|
||||
<rom label="posix.lib.so"/>
|
||||
<rom label="ncurses.lib.so"/>
|
||||
<rom label="bash-minimal.tar"/>
|
||||
<rom label="coreutils-minimal.tar"/>
|
||||
<rom label="vim-minimal.tar"/>
|
||||
<rom label="vfs.lib.so"/>
|
||||
</content>
|
||||
|
||||
<config>
|
||||
<parent-provides>
|
||||
<service name="ROM"/>
|
||||
<service name="PD"/>
|
||||
<service name="RM"/>
|
||||
<service name="CPU"/>
|
||||
<service name="LOG"/>
|
||||
<service name="Timer"/>
|
||||
<service name="File_system"/>
|
||||
<service name="Nitpicker"/>
|
||||
</parent-provides>
|
||||
|
||||
<default-route> <any-service> <parent/> <any-child/> </any-service> </default-route>
|
||||
|
||||
<default caps="100"/>
|
||||
|
||||
<start name="terminal">
|
||||
<resource name="RAM" quantum="4M"/>
|
||||
<provides> <service name="Terminal"/> </provides>
|
||||
<config initial_columns="120" initial_rows="36">
|
||||
<!-- srcery color scheme -->
|
||||
<color index="0x0" bg="#1C1B19"/>
|
||||
<color index="0x1" bg="#EF2F27"/>
|
||||
<color index="0x2" bg="#519F50"/>
|
||||
<color index="0x3" bg="#FBB829"/>
|
||||
<color index="0x4" bg="#2C78BF"/>
|
||||
<color index="0x5" bg="#E02C6D"/>
|
||||
<color index="0x6" bg="#0AAEB3"/>
|
||||
<color index="0x7" bg="#918175"/>
|
||||
<color index="0x8" bg="#2D2C29"/>
|
||||
<color index="0x9" bg="#F75341"/>
|
||||
<color index="0xa" bg="#98BC37"/>
|
||||
<color index="0xb" bg="#FED06E"/>
|
||||
<color index="0xc" bg="#68A8E4"/>
|
||||
<color index="0xd" bg="#FF5C8F"/>
|
||||
<color index="0xe" bg="#53FDE9"/>
|
||||
<color index="0xf" bg="#FCE8C3"/>
|
||||
<vfs> <dir name="fonts"> <fs/> </dir> </vfs>
|
||||
</config>
|
||||
<route>
|
||||
<service name="File_system"> <parent label="fonts"/> </service>
|
||||
<any-service> <parent/> <any-child/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
|
||||
<start name="noux" caps="500">
|
||||
<resource name="RAM" quantum="60M" />
|
||||
<exit propagate="yes"/>
|
||||
<config>
|
||||
<fstab>
|
||||
<tar name="bash-minimal.tar" />
|
||||
<tar name="coreutils-minimal.tar" />
|
||||
<tar name="vim-minimal.tar" />
|
||||
<dir name="dev"> <zero/> <null/> </dir>
|
||||
<dir name="rw"> <fs label="target"/> </dir>
|
||||
<dir name="report"> <fs label="report"/> </dir>
|
||||
<dir name="config"> <fs label="config"/> </dir>
|
||||
<dir name="tmp"> <ram /> </dir>
|
||||
<dir name="share"> <dir name="vim"> <rom name="vimrc"/> </dir> </dir>
|
||||
</fstab>
|
||||
<start name="/bin/bash">
|
||||
<env name="TERM" value="screen" />
|
||||
<env name="PS1" value="noux:$PWD> " />
|
||||
</start>
|
||||
</config>
|
||||
<route>
|
||||
<service name="File_system" label="target"> <parent label="target"/> </service>
|
||||
<service name="File_system" label="config"> <parent label="config"/> </service>
|
||||
<service name="File_system" label="report"> <parent label="report"/> </service>
|
||||
<service name="ROM" label="vimrc"> <parent label="vimrc"/> </service>
|
||||
<service name="Terminal"> <child name="terminal"/> </service>
|
||||
<any-service> <parent/> </any-service>
|
||||
</route>
|
||||
</start>
|
||||
</config>
|
||||
|
||||
</runtime>
|
|
@ -7,7 +7,10 @@ include_rules
|
|||
: foreach *.cc |> !cxx |> %B.o {objs}
|
||||
: {objs} |> !prg |> %d {binary}
|
||||
: {binary} |> !collect_bin |>
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
|
||||
: ./pkg.dhall |> !render_runtime |> {runtime}
|
||||
|
||||
include &(BIN_RULES)
|
||||
include &(PKG_RULES)
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,25 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let Prelude = Genode.Prelude
|
||||
|
||||
let XML = Prelude.XML
|
||||
|
||||
in { indexInfo =
|
||||
"Switched ethernet bus"
|
||||
, runtime =
|
||||
{ ram =
|
||||
Genode.units.MiB 4
|
||||
, caps =
|
||||
96
|
||||
, binary =
|
||||
"nic_bus"
|
||||
, provides =
|
||||
[ "nic" ]
|
||||
, requires =
|
||||
[] : List { label : Optional Text, service : Text }
|
||||
, roms =
|
||||
[ "nic_bus" ]
|
||||
, config =
|
||||
XML.text "<config><default-policy/></config>"
|
||||
}
|
||||
}
|
|
@ -1,5 +0,0 @@
|
|||
<runtime ram="4M" caps="96" binary="nic_bus">
|
||||
<provides> <nic/> </provides>
|
||||
<content> <rom label="nic_bus"/> </content>
|
||||
<config ld_verbose="yes"> <default-policy/></config>
|
||||
</runtime>
|
|
@ -18,3 +18,5 @@ PKG_DEPENDS += \
|
|||
|
||||
: runtime |> !collect_pkg_runtime |>
|
||||
include &(PKG_RULES)
|
||||
|
||||
: ./pkg.dhall |> !index_pkg |>
|
||||
|
|
|
@ -0,0 +1,38 @@
|
|||
let Genode = env:DHALL_GENODE
|
||||
|
||||
let Prelude = Genode.Prelude
|
||||
|
||||
let XML = Prelude.XML
|
||||
|
||||
let service = λ(s : Text) → { service = s, label = None Text }
|
||||
|
||||
let serviceLabel = λ(s : Text) → λ(l : Text) → { service = s, label = Some l }
|
||||
|
||||
in { indexInfo =
|
||||
"Nitpicker input event debugger"
|
||||
, runtime =
|
||||
Genode.Runtime.defaults
|
||||
⫽ { ram =
|
||||
Genode.units.MiB 12
|
||||
, caps =
|
||||
256
|
||||
, binary =
|
||||
"show_input"
|
||||
, requires =
|
||||
[ serviceLabel "fs" "fonts", service "nitpicker" ]
|
||||
, roms =
|
||||
[ "show_input", "vfs.lib.so" ]
|
||||
, config =
|
||||
XML.text
|
||||
''
|
||||
<config>
|
||||
<vfs>
|
||||
<dir name="fonts">
|
||||
<fs label="fonts"/>
|
||||
</dir>
|
||||
</vfs>
|
||||
</config>
|
||||
|
||||
''
|
||||
}
|
||||
}
|
Loading…
Reference in New Issue