Emery Hemingway
6d6d585f0f
- Remove manifests from Dhall configurations and mix all test inputs to generate test ROM maps. - All loader and timer drivers are name ld.lib.so and timer_drv. - Replace packages of multiple Genode Labs targets with functions to build individual targets. These packages are not explicitly specified unless they require inputs from the source ports or extra nativeBuildInputs. - Add support for building from Genode world repository.
39 lines
765 B
Nix
39 lines
765 B
Nix
{ buildPackages, ports }:
|
|
|
|
with ports;
|
|
|
|
{
|
|
"app/lighttpd".portInputs = [ libc lighttpd openssl zlib ];
|
|
|
|
"drivers/framebuffer/intel" = {
|
|
BOARD = "pc";
|
|
portInputs = [ dde_linux ];
|
|
};
|
|
|
|
"drivers/framebuffer/vesa" = {
|
|
BOARD = "pc";
|
|
portInputs = [ x86emu ];
|
|
};
|
|
|
|
"drivers/usb".portInputs = [ dde_linux ];
|
|
|
|
"lib/vfs/lwip".portInputs = [ lwip ];
|
|
"lib/vfs/ttf".portInputs = [ libc stb ];
|
|
"lib/vfs/rump" = {
|
|
portInputs = [ dde_rump ];
|
|
buildInputs = [ buildPackages.zlib ];
|
|
};
|
|
|
|
noux = {
|
|
targets = [ "noux" "lib/libc_noux" ];
|
|
portInputs = [ libc ];
|
|
};
|
|
|
|
virtualbox5 = {
|
|
KERNEL = "nova";
|
|
portInputs = [ libc libiconv qemu-usb stdcxx virtualbox5 ];
|
|
nativeBuildInputs = with buildPackages; [ iasl yasm ];
|
|
};
|
|
|
|
}
|