add: initial support for Milk-V Jupiter/SpacemiT K1

LICENSES/BSD-2-Clause.txt

@@ -0,0 +1,22 @@
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above
+   copyright notice, this list of conditions and the following
+   disclaimer in the documentation and/or other materials provided
+   with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS
+OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE
+LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT
+OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
+BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
+LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
+USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
+DAMAGE.

REUSE.toml

@@ -1,7 +1,7 @@
 version = 1
 
 [[annotations]]
-path = [".devcontainer/devcontainer.json", "src/image-milkv-duos-sd/u-boot.txt"]
+path = [".devcontainer/devcontainer.json", "src/image-milkv-duos-sd/u-boot.txt", "src/image-milkv-jupiter/u-boot.txt"]
 precedence = "aggregate"
 SPDX-FileCopyrightText = "2025 ukoOS Contributors"
 SPDX-License-Identifier = "GPL-3.0-or-later"

flake.nix

@@ -3,11 +3,20 @@
 # SPDX-License-Identifier: GPL-3.0-or-later
 
 {
-  inputs.u-boot-milkv-duos-sd = {
-    url = "github:UMN-Kernel-Object/u-boot/milkv-duos-sd";
-    inputs = {
-      flake-utils.follows = "flake-utils";
-      nixpkgs.follows = "nixpkgs";
+  inputs = {
+    u-boot-milkv-duos-sd = {
+      url = "github:UMN-Kernel-Object/u-boot/milkv-duos-sd";
+      inputs = {
+        flake-utils.follows = "flake-utils";
+        nixpkgs.follows = "nixpkgs";
+      };
+    };
+    u-boot-spacemit-k1 = {
+      url = "github:UMN-Kernel-Object/u-boot/spacemit-k1";
+      inputs = {
+        flake-utils.follows = "flake-utils";
+        nixpkgs.follows = "nixpkgs";
+      };
     };
   };
   outputs =
@@ -16,6 +25,7 @@
       flake-utils,
       nixpkgs,
       u-boot-milkv-duos-sd,
+      u-boot-spacemit-k1,
     }:
     flake-utils.lib.eachDefaultSystem (
       system:
@@ -30,6 +40,7 @@
         ];
         all-image-targets = [
           "milkv-duos-sd"
+          "milkv-jupiter"
         ];
 
         ukoos =
@@ -135,6 +146,16 @@
             u-boot-milkv-duos-sd = u-boot-milkv-duos-sd.packages.${system}.default;
             ukoos-milkv-duos = packages."ukoos/milkv-duos";
           };
+          "dev-image/milkv-jupiter" = pkgs.callPackage ./src/image-milkv-jupiter {
+            dev = true;
+            u-boot-spacemit-k1 = u-boot-spacemit-k1.packages.${system}.default;
+            ukoos-milkv-jupiter = packages."ukoos/milkv-jupiter";
+          };
+          "image/milkv-jupiter" = pkgs.callPackage ./src/image-milkv-jupiter {
+            dev = false;
+            u-boot-spacemit-k1 = u-boot-spacemit-k1.packages.${system}.default;
+            ukoos-milkv-jupiter = packages."ukoos/milkv-jupiter";
+          };
         };
       }
     );

src/image-milkv-jupiter/default.nix

@@ -0,0 +1,62 @@
+# SPDX-FileCopyrightText: 2025 ukoOS Contributors
+#
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+{
+  dev ? false,
+  u-boot-spacemit-k1,
+
+  callPackage,
+  lib,
+  pkgsCross,
+  stdenvNoCC,
+
+  dosfstools,
+  genimage,
+  mtools,
+  ukoos-milkv-jupiter,
+}:
+
+stdenvNoCC.mkDerivation (self: {
+  pname = "image-milkv-jupiter" + (if dev then "-dev" else "");
+  inherit (ukoos-milkv-jupiter) version;
+
+  nativeBuildInputs = [
+    dosfstools
+    genimage
+    mtools
+    u-boot-spacemit-k1
+  ];
+
+  dontUnpack = true;
+  buildPhase = ''
+    runHook preBuild
+
+    mkdir -p root/boot
+    ${lib.optionalString (!dev) '' 
+      install -Dt root/boot ${ukoos-milkv-jupiter}/sys/kernel.elf
+    ''}
+    install -Dt input ${u-boot-spacemit-k1}/FSBL.bin
+    install -Dt input ${u-boot-spacemit-k1}/u-boot.itb
+    install -Dt input ${u-boot-spacemit-k1}/bootinfo_sd.bin
+    install -Dt input ${self.passthru.opensbi-milkv-jupiter}/fw_dynamic.itb
+    mkenvimage -s 0x20000 -o input/uboot.env ${./u-boot.txt}
+    cp -r input/uboot.env root/boot/uboot.env
+    genimage --config ${./genimage.cfg}
+
+    runHook postBuild
+  '';
+  installPhase = ''
+    runHook preInstall
+
+    install -Dt $out -m 0644 images/ukoos.img
+
+    runHook postInstall
+  '';
+
+  passthru = {
+    opensbi-milkv-jupiter = pkgsCross.riscv64-musl.callPackage ./opensbi.nix {
+      u-boot = u-boot-spacemit-k1;
+    };
+  };
+})

src/image-milkv-jupiter/genimage.cfg

@@ -0,0 +1,51 @@
+# SPDX-FileCopyrightText: 2025 ukoOS Contributors
+#
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+image ukoos.img {
+	hdimage {
+		partition-table-type = "gpt"
+	}
+	partition bootinfo {
+        offset = 0
+        in-partition-table = false
+		image = "bootinfo_sd.bin"
+		size = 80
+	}
+	partition fsbl {
+        offset = "128K"
+		image = "FSBL.bin"
+		size = 256K
+	}
+	partition env {
+		partition-type-uuid = "u-boot-env"
+		offset = "384K"
+		image = "uboot.env"
+		size = 256K
+	}
+	partition opensbi {
+        offset = "640K"
+		image = "fw_dynamic.itb"
+		size = 192K
+	}
+	partition uboot {
+        offset = "832K"
+		image = "u-boot.itb"
+		size = 2M
+	}
+	partition boot {
+		partition-type-uuid = fat32
+		offset = "3072K"
+		bootable = true
+		image = "boot.vfat"
+	}
+}
+
+image boot.vfat {
+	vfat {
+		label = "ukoos-boot"
+	}
+	mountpoint = "/boot"
+	size = 2M
+}
+

src/image-milkv-jupiter/opensbi-patches/0001-include-sbi-Fix-compiling-with-C23-enabled-compilers.patch

@@ -0,0 +1,62 @@
+SPDX-FileCopyrightText: 2024 Michael Neuling <michaelneuling@tenstorrent.com>
+
+SPDX-License-Identifier: BSD-2-Clause
+
+From 9d9464268a0bb3a627240197575609eb9e02ca42 Mon Sep 17 00:00:00 2001
+From: Michael Neuling <michaelneuling@tenstorrent.com>
+Date: Sat, 21 Dec 2024 21:38:50 +0530
+Subject: [PATCH] include: sbi: Fix compiling with C23 enabled compilers
+
+C23 pre-defines bool so we need to gate our defines.
+
+Signed-off-by: Michael Neuling <michaelneuling@tenstorrent.com>
+Reviewed-by: Anup Patel <anup@brainfault.org>
+---
+ include/sbi/sbi_types.h            | 10 ++++++----
+ platform/generic/andes/andes_sbi.c |  2 +-
+ 2 files changed, 7 insertions(+), 5 deletions(-)
+
+diff --git a/include/sbi/sbi_types.h b/include/sbi/sbi_types.h
+index def88bba..6ad902e1 100644
+--- a/include/sbi/sbi_types.h
++++ b/include/sbi/sbi_types.h
+@@ -44,7 +44,12 @@ typedef unsigned long long	uint64_t;
+ #error "Unexpected __riscv_xlen"
+ #endif
+
+-typedef int			bool;
++#if __STDC_VERSION__ < 202000L
++typedef _Bool			bool;
++#define true			1
++#define false			0
++#endif
++
+ typedef unsigned long		ulong;
+ typedef unsigned long		uintptr_t;
+ typedef unsigned long		size_t;
+@@ -61,9 +66,6 @@ typedef uint32_t		be32_t;
+ typedef uint64_t		le64_t;
+ typedef uint64_t		be64_t;
+
+-#define true			1
+-#define false			0
+-
+ #define NULL			((void *)0)
+
+ #define __packed		__attribute__((packed))
+diff --git a/platform/generic/andes/andes_sbi.c b/platform/generic/andes/andes_sbi.c
+index 3e89fb9c..037d7cdf 100644
+--- a/platform/generic/andes/andes_sbi.c
++++ b/platform/generic/andes/andes_sbi.c
+@@ -29,7 +29,7 @@ static bool andes45_iocp_disabled(void)
+
+ static bool andes45_apply_iocp_sw_workaround(void)
+ {
+-	return andes45_cache_controllable() & andes45_iocp_disabled();
++	return andes45_cache_controllable() && andes45_iocp_disabled();
+ }
+
+ int andes_sbi_vendor_ext_provider(long funcid,
+-- 
+2.51.0
+

src/image-milkv-jupiter/opensbi.nix

@@ -0,0 +1,65 @@
+# SPDX-FileCopyrightText: 2025 ukoOS Contributors
+#
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+{
+  u-boot,
+
+  dtc,
+  fetchgit,
+  pkgsCross,
+  stdenvNoCC,
+  python3,
+}:
+
+stdenvNoCC.mkDerivation {
+  pname = "opensbi";
+  version = "2.2.27";
+
+  src = fetchgit {
+    url = "https://gitee.com/bianbu-linux/opensbi.git";
+    hash = "sha256-Vd/a1gIP3bBqLpmz5HAU6HyrK5SuFDnI2m1T2DrtkwE=";
+  };
+  patches = [
+    ./opensbi-patches/0001-include-sbi-Fix-compiling-with-C23-enabled-compilers.patch
+  ];
+
+  nativeBuildInputs = [
+    dtc
+    pkgsCross.riscv64-musl.stdenv.cc.bintools.bintools
+    pkgsCross.riscv64-musl.stdenv.cc.cc
+    python3
+    u-boot
+  ];
+
+  patchPhase = ''
+    runHook prePatch
+
+    patchShebangs .
+
+    runHook postPatch
+  '';
+
+  buildPhase = ''
+    runHook preBuild
+
+    make \
+      ''${enableParallelBuilding:+-j''${NIX_BUILD_CORES}} \
+      ARCH=riscv \
+      CROSS_COMPILE=riscv64-unknown-linux-musl- \
+      PLATFORM=generic \
+      PLATFORM_DEFCONFIG=k1_defconfig
+
+    runHook postBuild
+  '';
+
+  installPhase = ''
+    runHook preInstall
+
+    install -Dt $out -m 0644 build/platform/generic/firmware/fw_dynamic.itb
+
+    runHook postInstall
+  '';
+
+  enableParallelBuilding = true;
+}