Sigil OS
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
sigil/tests
Emery Hemingway 2033bd8af1 Deadnix cleanup 5 months ago
..
lib Deadnix cleanup 5 months ago
ahci.nix nixos: rename genode.boot to genode.core 1 year ago
bash.dhall A bunch of unstaged stuff I found months later 10 months ago
bash.nix Deadnix cleanup 5 months ago
default.nix Deadnix cleanup 5 months ago
graphics.nix Deadnix cleanup 5 months ago
hello.dhall Cleanup 5 months ago
hello.nix erisPatch nixos modules 2 years ago
log.nix Deadnix cleanup 5 months ago
nim.nix Deadnix cleanup 5 months ago
posix.dhall Add global imports to Dhall files 1 year ago
posix.nix nixos: add genode.init.children.<…>.binary option 2 years ago
test.dhall Add global imports to Dhall files 1 year ago
tor.nix Deadnix cleanup 5 months ago
usb.nix nixos: rename genode.boot to genode.core 1 year ago
vmm_arm.dhall Add global imports to Dhall files 1 year ago
vmm_arm.nix nixos: add genode.init.children.<…>.binary option 2 years ago
vmm_x86.dhall Add global imports to Dhall files 1 year ago
vmm_x86.nix erisPatch nixos modules 2 years ago