Ehmry - a61c3532e8 Build more packages using upstream build system ... - Implement support for "ports" - Update Nixpkgs to use Genode 20.02 - Remove packaging of forked Genode		2020-03-02 19:17:14 +01:00
..
generate-manifest	Move manifest generation to apps.generate-manifest	2020-01-24 20:46:39 +01:00
hw-image	Add base-hw-pc	2020-02-19 13:26:15 +01:00
hw-iso	Add base-hw-pc	2020-02-19 13:26:15 +01:00
linux-image	Build more packages using upstream build system	2020-03-02 19:17:14 +01:00
nova-image	Build base-nova using Genode Labs build system	2020-02-19 13:26:15 +01:00
nova-iso	nova-image: write image to stdout	2020-01-28 00:38:09 +01:00
render-init	Add linux-boot and render-init apps	2020-01-24 14:46:51 +01:00
default.nix	Add base-hw-pc	2020-02-19 13:26:15 +01:00
modules.as.dhall	Refactor tests to use nested Init/Child type	2020-02-24 22:47:07 +01:00
render-rom.dhall	Refactor tests to use nested Init/Child type	2020-02-24 22:47:07 +01:00
to-rom.dhall	Refactor tests to use nested Init/Child type	2020-02-24 22:47:07 +01:00