2
0
Fork 0
Genode Packages collection https://git.sr.ht/~ehmry/genodepkgs/
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.
 
 
 
 
 
genodepkgs/tests/x86.nix

21 lines
462 B

{
name = "x86";
constraints = builtins.any (spec: spec == "x86");
machine = { pkgs, ... }: {
genode.init.subinits.test = {
configFile = ./x86.dhall;
inputs = with pkgs.genodePackages; [
acpi_drv
platform_drv
report_rom
test-signal
test-pci
test-rtc
];
};
};
testScript = ''
start_all()
machine.wait_until_serial_output("child \"test\" exited with exit value 0")
'';
}