2020-11-06 20:59:33 +01:00
|
|
|
# This file contains overrides necessary to build some Make targets.
|
|
|
|
|
|
|
|
{ buildPackages, genodePackages, ports }:
|
|
|
|
|
|
|
|
{
|
|
|
|
ping.targets = [ "app/ping" ];
|
|
|
|
|
2020-11-10 16:09:43 +01:00
|
|
|
nic_dump.targets = [ "server/nic_dump" ];
|
|
|
|
|
2020-11-27 11:59:49 +01:00
|
|
|
test-pci.targets = [ "test/pci" ];
|
2020-11-06 20:59:33 +01:00
|
|
|
|
|
|
|
test-rtc.targets = [ "test/rtc" ];
|
|
|
|
|
|
|
|
test-vmm_x86 = {
|
|
|
|
targets = [ "test/vmm_x86" ];
|
2020-11-10 17:32:49 +01:00
|
|
|
patches = [ ./patches/test-vmm_x86.patch ];
|
2020-11-06 20:59:33 +01:00
|
|
|
};
|
|
|
|
|
2021-03-03 15:09:18 +01:00
|
|
|
vbox5 = {
|
|
|
|
targets = [ "virtualbox5" ];
|
|
|
|
nativeBuildInputs = with buildPackages; [ iasl yasm ];
|
|
|
|
portInputs = with ports; [ libc libiconv qemu-usb stdcxx virtualbox5 ];
|
|
|
|
};
|
|
|
|
|
2020-11-06 20:59:33 +01:00
|
|
|
}
|