Add NOVA, update release.nix
This commit is contained in:
parent
8a98432df3
commit
316259817c
34
NOVA/default.nix
Normal file
34
NOVA/default.nix
Normal file
|
@ -0,0 +1,34 @@
|
||||||
|
{ stdenv, buildPackages, fetchFromGitHub }:
|
||||||
|
|
||||||
|
let
|
||||||
|
ARCH =
|
||||||
|
if stdenv.isx86_32 then "x86_32" else
|
||||||
|
if stdenv.isx86_64 then "x86_64" else
|
||||||
|
null;
|
||||||
|
in if ARCH == null then null else
|
||||||
|
|
||||||
|
buildPackages.stdenv.mkDerivation {
|
||||||
|
# Borrow the build host compiler,
|
||||||
|
name = "NOVA";
|
||||||
|
inherit ARCH;
|
||||||
|
|
||||||
|
src = fetchFromGitHub {
|
||||||
|
owner = "alex-ab";
|
||||||
|
repo = "NOVA";
|
||||||
|
rev = "0ebcb4fc5a25d1df4451a89cbc87d88e099acbd3";
|
||||||
|
sha256 = "0rkp59496032kq8a3l5fs771m5f7s5yywkxjk7j9qhmsidgk40wd";
|
||||||
|
};
|
||||||
|
|
||||||
|
makeFlags = [ "--directory=build" ];
|
||||||
|
|
||||||
|
preInstall = "export INS_DIR=$out";
|
||||||
|
|
||||||
|
meta = with stdenv.lib; {
|
||||||
|
description =
|
||||||
|
"The NOVA OS Virtualization Architecture is a project aimed at constructing a secure virtualization environment with a small trusted computing base.";
|
||||||
|
homepage = "http://hypervisor.org/";
|
||||||
|
license = licenses.gpl2;
|
||||||
|
maintainers = [ maintainers.ehmry ];
|
||||||
|
};
|
||||||
|
|
||||||
|
}
|
11
default.nix
11
default.nix
|
@ -1,9 +1,10 @@
|
||||||
let
|
let
|
||||||
pkgOverlay = self: super:
|
pkgOverlay = self: super:
|
||||||
# Overlay of locally defined packages
|
# Overlay of locally defined packages
|
||||||
{
|
with self; {
|
||||||
genode = super.callPackage ./upstream { };
|
dhall = callPackage ./dhall { };
|
||||||
dhall = super.callPackage ./dhall { };
|
genode = callPackage ./upstream { };
|
||||||
|
nova = callPackage ./NOVA { };
|
||||||
};
|
};
|
||||||
|
|
||||||
toolchainOverlay = import ./toolchain-overlay;
|
toolchainOverlay = import ./toolchain-overlay;
|
||||||
|
@ -16,9 +17,9 @@ let
|
||||||
rev = "e4d734ace275cae70a776771d034c051956c9cab";
|
rev = "e4d734ace275cae70a776771d034c051956c9cab";
|
||||||
};
|
};
|
||||||
|
|
||||||
in { nixpkgs ? import nixpkgs' }:
|
in { nixpkgs ? nixpkgs' }:
|
||||||
|
|
||||||
nixpkgs {
|
import nixpkgs {
|
||||||
# Evaluate an overlayed Nixpkgs for a Genode target
|
# Evaluate an overlayed Nixpkgs for a Genode target
|
||||||
config.allowUnsupportedSystem = true;
|
config.allowUnsupportedSystem = true;
|
||||||
crossSystem = {
|
crossSystem = {
|
||||||
|
|
11
release.nix
11
release.nix
|
@ -1,11 +1,6 @@
|
||||||
{ genodepkgs ? builtins.fetchGit ./. }:
|
{ genodepkgs ? builtins.fetchGit ./., nixpkgs ? <nixpkgs> }:
|
||||||
|
|
||||||
{
|
{
|
||||||
build.x86_64 = let
|
build.x86_64 = let pkgs = import ./default.nix { inherit nixpkgs; };
|
||||||
pkgs =
|
in { inherit (pkgs) genode nova stdenv; };
|
||||||
import ./default.nix { system = { config = "x86_64-unknown-genode"; }; };
|
|
||||||
in {
|
|
||||||
nixpkgs = { inherit (pkgs.nixpkgs) stdenv; };
|
|
||||||
inherit (pkgs) upstream;
|
|
||||||
};
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user