2
0

fixup tox

This commit is contained in:
Ehmry - 2020-10-20 17:03:54 +02:00
parent 2f75ca7a8c
commit e61da7f91b
2 changed files with 15 additions and 9 deletions

View File

@ -15,6 +15,8 @@ let
}; };
in { in {
acpi_drv = { };
cached_fs_rom = { }; cached_fs_rom = { };
fb_sdl = with buildPackages; { fb_sdl = with buildPackages; {
@ -49,8 +51,12 @@ in {
noux.portInputs = [ libc ]; noux.portInputs = [ libc ];
platform_drv = { };
posix.portInputs = [ libc ]; posix.portInputs = [ libc ];
report_rom = { };
rtc_drv.meta.platforms = [ "x86_64-genode" ]; rtc_drv.meta.platforms = [ "x86_64-genode" ];
rump = { rump = {

View File

@ -5,14 +5,14 @@
constraints = builtins.any (spec: spec == "x86"); constraints = builtins.any (spec: spec == "x86");
machine = { machine = {
config = ./tox-bootstrapd.dhall; config = ./tox-bootstrapd.dhall;
inputs = map pkgs.genodeSources.depot [ inputs = (with pkgs; [
"acpi_drv" acpi_drv
"ipxe_nic_drv" ipxe_nic_drv
"libc" libc
"platform_drv" platform_drv
"posix" posix
"report_rom" report_rom
"vfs_lwip" vfs_lwip
] ++ (with legacyPackages; [ libtoxcore ]); ]) ++ (with legacyPackages; [ libtoxcore ]);
}; };
} }