diff --git a/tests/pci.nix b/tests/pci.nix index b29e9e5..2e200ab 100644 --- a/tests/pci.nix +++ b/tests/pci.nix @@ -8,10 +8,10 @@ testEnv.mkTest { testConfig = testEnv.lib.renderDhallInit ./pci.dhall "{=}"; bootModules = { - acpi_drv = "${genode.os}/bin/acpi_drv"; - platform_drv = "${genode.os}/bin/platform_drv"; - report_rom = "${genode.os}/bin/report_rom"; - test-pci = "${genode.os}/bin/test-pci"; + acpi_drv = "${genode-os}/bin/acpi_drv"; + platform_drv = "${genode-os}/bin/platform_drv"; + report_rom = "${genode-os}/bin/report_rom"; + test-pci = "${genode-os}/bin/test-pci"; }; testScript = ''