The buildDepot function now takes a "depotInputs" argument that
propagates "portInputs" and "depotInputs" across packages.
Drop the stdcxx package that includes a dev output and just use
the simple depot package for now.
The buildDepot function now takes a "depotInputs" argument that
propagates "portInputs" and "depotInputs" across packages.
Drop the stdcxx package that includes a dev output and just use
the simple depot package for now.
This is important, because otherwise binutils will refuse to strip
Genode binaries, which causes runtime closures to explode, which
causes a giant image.elf, which takes so long to load that tests
break.
Do not apply the fixup phase to ports, patching script shebangs is
infecting the ports with the packages used to prepare the port.
Do not import the package versions from the genodeSources
derivation, this breaks "nix flake list".
Make the selection of packages from buildPackages more explicit.
The manifests can be generated at late as possible. Also, in the future
a list of binaries in use by an init expression can be extracted and
selected from a list of input packages.
- 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.