diff --git a/packages/genodelabs/targets.nix b/packages/genodelabs/targets.nix index 9d62b5a..e92780a 100644 --- a/packages/genodelabs/targets.nix +++ b/packages/genodelabs/targets.nix @@ -15,6 +15,8 @@ let }; in { + acpi_drv = { }; + cached_fs_rom = { }; fb_sdl = with buildPackages; { @@ -49,8 +51,12 @@ in { noux.portInputs = [ libc ]; + platform_drv = { }; + posix.portInputs = [ libc ]; + report_rom = { }; + rtc_drv.meta.platforms = [ "x86_64-genode" ]; rump = { diff --git a/tests/tox-bootstrapd.nix b/tests/tox-bootstrapd.nix index e6afe1e..086f6fa 100644 --- a/tests/tox-bootstrapd.nix +++ b/tests/tox-bootstrapd.nix @@ -5,14 +5,14 @@ constraints = builtins.any (spec: spec == "x86"); machine = { config = ./tox-bootstrapd.dhall; - inputs = map pkgs.genodeSources.depot [ - "acpi_drv" - "ipxe_nic_drv" - "libc" - "platform_drv" - "posix" - "report_rom" - "vfs_lwip" - ] ++ (with legacyPackages; [ libtoxcore ]); + inputs = (with pkgs; [ + acpi_drv + ipxe_nic_drv + libc + platform_drv + posix + report_rom + vfs_lwip + ]) ++ (with legacyPackages; [ libtoxcore ]); }; }