Ehmry - cd1b95c1d7 nixos: rename genode.boot to genode.core ... Have a "boot.…" and a "genode.boot.…" is confusing.		2021-04-09 16:39:06 +02:00
..
consoleLog.dhall	Rename dhall-genode to dhall-sigil	2021-04-07 15:21:00 +02:00
default.nix	nixos: rename genode.boot to genode.core	2021-04-09 16:39:06 +02:00
nitpicker.dhall	Rename dhall-genode to dhall-sigil	2021-04-07 15:21:00 +02:00