Rename genode.os to genode-os

4 years ago · 7eda0b9f55
parent 83904ca3e6
commit 7eda0b9f55
1 changed files with 4 additions and 4 deletions
--- 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 = ''