|
|
|
@ -2,7 +2,7 @@
|
|
|
|
|
#
|
|
|
|
|
# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
|
|
|
|
|
|
|
|
|
|
{ system, nixpkgs }:
|
|
|
|
|
{ system, nixpkgs, depot }:
|
|
|
|
|
|
|
|
|
|
let
|
|
|
|
|
toolchainOverlay = import ./toolchain-overlay;
|
|
|
|
@ -13,7 +13,6 @@ let
|
|
|
|
|
inherit (super) callPackage;
|
|
|
|
|
|
|
|
|
|
genode = (callPackage ./upstream { } // {
|
|
|
|
|
libc = callPackage ./pkgs/libc { };
|
|
|
|
|
nic_bus = callPackage ./pkgs/nic_bus { };
|
|
|
|
|
});
|
|
|
|
|
dhallPackages = super.dhallPackages // (callPackage ./dhall { });
|
|
|
|
@ -23,6 +22,7 @@ in rec {
|
|
|
|
|
genode-base-linux = genode.base-linux;
|
|
|
|
|
genode-base-nova = genode.base-nova;
|
|
|
|
|
genode-os = genode.os;
|
|
|
|
|
libc = callPackage ./pkgs/libc { inherit depot; };
|
|
|
|
|
|
|
|
|
|
dhallGenode = dhallPackages.genode;
|
|
|
|
|
dhallPrelude = dhallPackages.prelude;
|
|
|
|
|