You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Emery Hemingway 1c057662e6 tests/vmm_x86: need to request platform_info direct from core		3 years ago
..
lib	tests: use config.networking.hosts not networking.extraHosts	3 years ago
test-driver	Replace test framework	3 years ago
bash.dhall	tests/bash: fix free Libc variable in Dhall config	3 years ago
bash.nix	Update Genode Labs sources	3 years ago
default.nix	tests: remove solo5	3 years ago
hello.dhall	Update dhall-genode for Libc helper	3 years ago
hello.nix	Update dhall-genode for Libc helper	3 years ago
lighttpd.nix	Refactor routing	3 years ago
log.dhall	Port NixOS module system	3 years ago
log.nix	Port NixOS module system	3 years ago
networking.nix	tests: use config.networking.hosts not networking.extraHosts	3 years ago
posix.dhall	Update dhall-genode for Libc helper	3 years ago
posix.nix	Relicense as MIT	3 years ago
test-wrapper.dhall	genodeSources: 20.05 -> 20.08	3 years ago
test.dhall	genodeSources: 20.05 -> 20.08	3 years ago
vmm_arm.dhall	genodeSources: 20.05 -> 20.08	3 years ago
vmm_arm.nix	Relicense as MIT	3 years ago
vmm_x86.dhall	Port NixOS module system	3 years ago
vmm_x86.nix	tests/vmm_x86: need to request platform_info direct from core	3 years ago
x86.dhall	Port NixOS module system	3 years ago
x86.nix	nixos: add genode.init.coreROMs option	3 years ago