{"id":19608656,"url":"https://github.com/sel4/rumprun-sel4-demoapps","last_synced_at":"2025-04-27T20:33:00.585Z","repository":{"id":41360870,"uuid":"82986597","full_name":"seL4/rumprun-sel4-demoapps","owner":"seL4","description":"Apps for running with the rumprun unikernel on seL4.","archived":false,"fork":false,"pushed_at":"2025-04-27T01:45:12.000Z","size":757,"stargazers_count":33,"open_issues_count":6,"forks_count":10,"subscribers_count":28,"default_branch":"master","last_synced_at":"2025-04-27T02:22:53.559Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/seL4.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":".github/CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":".github/CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2017-02-24T00:59:26.000Z","updated_at":"2025-04-27T01:45:16.000Z","dependencies_parsed_at":"2023-02-10T06:45:15.398Z","dependency_job_id":"77c398e4-1786-491d-a35f-e39fb9ef3c81","html_url":"https://github.com/seL4/rumprun-sel4-demoapps","commit_stats":null,"previous_names":[],"tags_count":11,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frumprun-sel4-demoapps","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frumprun-sel4-demoapps/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frumprun-sel4-demoapps/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Frumprun-sel4-demoapps/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/rumprun-sel4-demoapps/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":251204713,"owners_count":21552276,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-11T10:16:16.892Z","updated_at":"2025-04-27T20:33:00.279Z","avatar_url":"https://github.com/seL4.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)\n\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# Rumprun apps\n\n[![CI](https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/push.yml)\n[![Hello World](https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/rump-deploy.yml/badge.svg)](https://github.com/seL4/rumprun-sel4-demoapps/actions/workflows/rump-deploy.yml)\n\nThis repository contains several apps for running with the rumprun unikernel with seL4 as the target platform.  It also conatins a seL4 root-task that creates and initialises a rumprun instance as a separate process.\nRumprun images are generally constructed by building the rumprun sources, compiling an app with the rumprun\ntoolchains, baking the app using `rumprun-bake` which links in the rumprun and rumpkernel libraries, and finally\nrunning the app via `rumprun`.  The apps in this repo are constructed in mostly the same way, only the commands\nhave been integrated with the kbuild based seL4 build system so that running make will eventually construct a\nseL4 kernel image and potentially root-task user image containing the rumprun unikernel.  These images can then\nbe run the same as any other seL4 binaries.\n\n[Blogpost](https://research.csiro.au/tsblog/using-rump-kernels-to-run-unmodified-netbsd-drivers-on-sel4/)\n\n# Configurations\n\nConfigurations can be found in the configs folder.  A configuration filename follows the pattern\n`$(appname)-$(seL4 architecture)-$(platform config)_defconfig`.  The configuration file contains\nbuilt in command line arguments, networking configuration and certain memory configurations.  These\ncan be changed by applying a config, and then editing the values using the visual ncurses menuconfig tool, or\nediting the .config file directly.\n\n# Currently supported apps\n(This list may be out of date.  For a more up to date list check the configs folder)\n* hello\n* iperf3\n* leveldb\n* memcached\n* multicore_pthread\n* nginx\n* redis\n* rust\n* [susan](userapps/susan/README.md)\n* [jpeg](userapps/jpeg/README.md)\n\n## Apps that are currently broken\n* [erlang](userapps/erlang/README.md): Currently isn't supported due to a restriction in how hardware resources\n  can be given to an instance of a rump kernel. There isn't currently any timeframe for a fix.\n* [madplay](userapps/madplay/README.md): Doesn't currently build due to autoconf issues\n\n# Dependencies\n\n* https://docs.sel4.systems/projects/buildsystem/host-dependencies.html\n* google repo tool\n\n\n# Installation steps\n```\nrepo init -u https://github.com/seL4/rumprun-sel4-demoapps\nrepo sync\n(cd projects/rumprun \u0026\u0026 ./init-sources.sh)\nmkdir build-hello \u0026\u0026 cd build-hello\n../init-build.sh -DPLATFORM=x86_64 -DSIMULATION=TRUE -DAPP=hello\nninja\n```\n\n\n# Running the image\n\n## QEMU\n\nYou can run by running a generated simulate script:\n```\n./simulate\n# quit with Ctrl-A X\n```\nTo add QEMU networking you will also need: `-net nic,model=e1000 -net tap,script=no,ifname=tap0` which requires\na tap network interface configured.\n\nSee https://docs.sel4.systems/Hardware/IA32 for running on actual hardware\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Frumprun-sel4-demoapps","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Frumprun-sel4-demoapps","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Frumprun-sel4-demoapps/lists"}