2019-09-27 12:38:35 +02:00
|
|
|
# SPDX-FileCopyrightText: Emery Hemingway
|
|
|
|
#
|
|
|
|
# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
|
|
|
|
|
2019-11-19 16:36:52 +01:00
|
|
|
{ system, nixpkgs, depot, genode }:
|
2019-07-30 12:48:01 +02:00
|
|
|
|
2019-11-05 17:38:47 +01:00
|
|
|
let
|
2019-09-24 00:59:53 +02:00
|
|
|
toolchainOverlay = import ./toolchain-overlay;
|
|
|
|
# Overlay of toolchain patches
|
2019-07-30 12:48:01 +02:00
|
|
|
|
2019-11-11 20:20:10 +01:00
|
|
|
super = builtins.getAttr system nixpkgs.legacyPackages;
|
2019-11-05 17:38:47 +01:00
|
|
|
|
|
|
|
inherit (super) callPackage;
|
|
|
|
|
|
|
|
dhallPackages = super.dhallPackages // (callPackage ./dhall { });
|
|
|
|
in rec {
|
|
|
|
inherit (super) stdenv;
|
|
|
|
dhallGenode = dhallPackages.genode;
|
|
|
|
dhallPrelude = dhallPackages.prelude;
|
2019-12-02 16:39:52 +01:00
|
|
|
libc = callPackage ./pkgs/libc { inherit depot; };
|
|
|
|
nic_bus = callPackage ./pkgs/nic_bus { inherit (genode) base os; };
|
2019-11-19 16:36:52 +01:00
|
|
|
solo5 = callPackage ./pkgs/solo5 { inherit (genode) base os; };
|
2019-12-02 16:39:52 +01:00
|
|
|
stdcxx = callPackage ./pkgs/stdcxx { };
|
2019-07-30 12:48:01 +02:00
|
|
|
}
|