sigil/tests
2023-10-03 12:09:18 +01:00
..
lib tests: use untouched nixpkgs for the test host 2022-10-07 21:29:14 -05:00
ahci.nix nixos: rename genode.boot to genode.core 2021-04-09 16:39:06 +02:00
bash.dhall A bunch of unstaged stuff I found months later 2021-12-10 10:13:20 +00:00
bash.nix Modify type of ERIS­manifest 2023-09-29 11:18:31 +01:00
default.nix Move lib out of repo top level and into overlay 2023-10-03 12:09:18 +01:00
graphics.nix Deadnix cleanup 2022-04-24 18:20:39 -05:00
hello.dhall Cleanup 2022-04-24 18:20:39 -05:00
hello.nix erisPatch nixos modules 2021-03-03 15:14:21 +01:00
log.nix Deadnix cleanup 2022-04-24 18:20:39 -05:00
nim.nix Add syndicate test 2022-10-20 14:44:27 -05:00
posix.dhall Add global imports to Dhall files 2021-04-21 09:59:27 +02:00
posix.nix nixos: add genode.init.children.<…>.binary option 2021-02-16 15:46:14 +01:00
syndicate.nix Make the syndicate test a proper package 2023-09-28 12:17:09 +01:00
test.dhall Add global imports to Dhall files 2021-04-21 09:59:27 +02:00
tor.nix Deadnix cleanup 2022-04-24 18:20:39 -05:00
usb.nix nixos: rename genode.boot to genode.core 2021-04-09 16:39:06 +02:00
vmm_arm.dhall Add global imports to Dhall files 2021-04-21 09:59:27 +02:00
vmm_arm.nix nixos: add genode.init.children.<…>.binary option 2021-02-16 15:46:14 +01:00
vmm_x86.dhall Add global imports to Dhall files 2021-04-21 09:59:27 +02:00
vmm_x86.nix erisPatch nixos modules 2021-03-03 15:14:21 +01:00