Build base-nova using Genode Labs build system

apps/nova-image/default.nix

@@ -2,7 +2,7 @@
 
 { stdenv, nixpkgs, dhallApps, packages }:
 
-let inherit (packages.genode) base-nova;
+let inherit (packages) base-nova;
 in nixpkgs.writeScriptBin "nova-image" (with nixpkgs.buildPackages;
   let inherit (stdenv) cc;
 
@@ -31,6 +31,6 @@ in nixpkgs.writeScriptBin "nova-image" (with nixpkgs.buildPackages;
     	-T${base-nova.src}/repos/base-nova/src/core/core-bss.ld \
     	-z max-page-size=0x1000 \
     	-Ttext=0x100000 -gc-sections \
-    	"''${CORE_NOVA:-${base-nova}/lib/core-nova.o}" "$TMPDIR/boot_modules.o"
+    	"''${CORE_OBJ:-${base-nova}/lib/core-nova.o}" "$TMPDIR/boot_modules.o"
     cat a.out
   '')

flake.nix

@@ -42,8 +42,8 @@
               export DHALL_GENODE="${packages.dhallGenode}/package.dhall"
               export BASE_MANIFEST="${packages.genode.base.manifest}"
               export BASE_LINUX_MANIFEST="${packages.genode.base-linux.manifest}"
-              export BASE_NOVA_MANIFEST="${packages.genode.base-nova.manifest}"
               export BASE_HW_MANIFEST="${packages.base-hw-pc.manifest}"
+              export BASE_NOVA_MANIFEST="${packages.base-nova.manifest}"
               export OS_MANIFEST="${packages.genode.os.manifest}"
             '';
           };

packages/default.nix

@@ -39,6 +39,20 @@ in rec {
     '';
   };
 
+  base-nova = buildUpstream {
+    name = "base-nova";
+    arch = "x86_64";
+    kernel = "nova";
+    board = "pc";
+    targets = [ "core" "timer" ];
+    libTargets = [ "ld-nova" ];
+    postInstall = ''
+      mkdir -p $out/lib
+      mv $out/bin/*.o $out/lib/
+      mv $out/bin/ld-nova.lib.so $out/lib/ld.lib.so
+    '';
+  };
+
   bender = legacyPackages.buildPackages.callPackage ./bender { };
 
   dhallGenode = dhallPackages.genode;

packages/genode/default.nix

@@ -246,11 +246,6 @@ let
       repoInputs = [ base ];
     };
 
-    base-nova = buildRepoGcc' {
-      repo = "base-nova";
-      repoInputs = [ base ];
-    };
-
     os = buildRepoLlvm' {
       repo = "os";
       repoInputs = [ base ];

tests/driver-nova.nix

@@ -41,7 +41,7 @@ let
     }@t:
     let
       manifest = lib.mergeManifests (with testPkgs;
-        [ genode.base-nova genode.os sotest-producer ]
+        [ base-nova genode.os sotest-producer ]
         ++ testInputs);
       env' = {
         DHALL_PRELUDE = "${testPkgs.dhallPrelude}/package.dhall";

tests/pci.dhall

@@ -11,7 +11,7 @@ in  { config =
                   Genode.Init.Start::{
                   , binary = "test-pci"
                   , exitPropagate = True
-                  , resources = { caps = 96, ram = Genode.units.MiB 2 }
+                  , resources = { caps = 96, ram = Genode.units.MiB 3 }
                   , routes =
                       [ Genode.ServiceRoute.child "Platform" "platform_drv" ]
                   }