2
0
genodepkgs/default.nix

33 lines
874 B
Nix
Raw Normal View History

2019-09-27 12:38:35 +02:00
# SPDX-FileCopyrightText: Emery Hemingway
#
# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
2019-07-30 12:48:01 +02:00
let
pkgOverlay = self: super:
# Overlay of locally defined packages
2019-09-24 12:45:57 +02:00
with self; {
depot = callPackage ./depot { };
2019-10-03 15:27:11 +02:00
dhallPackages = super.dhallPackages // (callPackage ./dhall { });
2019-10-13 21:34:17 +02:00
genode = (callPackage ./upstream { } // {
nic_bus = callPackage ./pkgs/nic_bus { };
});
2019-09-24 12:45:57 +02:00
nova = callPackage ./NOVA { };
2019-10-06 20:35:54 +02:00
solo5 = callPackage ./solo5 { };
2019-07-30 12:48:01 +02:00
};
toolchainOverlay = import ./toolchain-overlay;
# Overlay of toolchain patches
2019-07-30 12:48:01 +02:00
in { nixpkgs ? import ./nixpkgs.nix }:
2019-07-30 12:48:01 +02:00
2019-09-24 12:45:57 +02:00
import nixpkgs {
# Evaluate an overlayed Nixpkgs for a Genode target
config.allowUnsupportedSystem = true;
crossSystem = {
isx86_64 = true;
isGenode = true;
imports = [ ./platform.nix ];
};
overlays = [ toolchainOverlay pkgOverlay ];
2019-07-30 12:48:01 +02:00
}