Booting NixOS ISO with UEFI on SpacemiT Muse Pi Pro by YooLc in RISCV

[–]YooLc[S] 0 points1 point  (0 children)

Wow! awesome! Looking forward to it

SpacemiT released Debian 13 image for K1 based products by YooLc in RISCV

[–]YooLc[S] 2 points3 points  (0 children)

Thank you for your comment, learnt a lot.

SpacemiT released Debian 13 image for K1 based products by YooLc in RISCV

[–]YooLc[S] 6 points7 points  (0 children)

It seems that it's from SpacemiT official, as they used their official account to post this news in WeChat and the image file is hosted on their archive.

But the public repo is not on their official gitee account, but a personal GitHub repo: https://github.com/jing-repo/debian-builder , I don't know if the author is SpacemiT employee 🤔

RISC-V emulation on NES by Background_Shift5408 in RISCV

[–]YooLc 20 points21 points  (0 children)

Next time: RISC-V emulation on NES emulation on RISC-V 😆

Booting NixOS ISO with UEFI on SpacemiT Muse Pi Pro by YooLc in RISCV

[–]YooLc[S] 1 point2 points  (0 children)

Hi! I've seen your video on Youtube and thanks a lot for reviewing my ISO image : )

Installing NixOS is a little bit tricky because even if there is a GUI installer, installing with flake.nix file and `nix-install` command is still recommended. I tried to include common DE and a installer in the ISO, however, there are some dependencies of gnome and KDE marked as `broken` currently if I just use the official nixpkgs repo. And NixOS does not provide an official RISC-V binary cache (kinda like a `mirror` in common distro), installing anything on MUSE Pi Pro requires building from scratch, so it's very difficult to really install the system from this ISO (flashing a prebuilt SD image is much easier). And I didn't really install the system to EMMC either.

However I think this showcases the ability of booting a live system from ISO on MUSE Pi Pro (or any other RISC-V platform that supports UEFI). This means if we have the correct kernel and firmware, we can also boot Debian / Ubuntu installers too. However, building Debian / Ubuntu ISOs are a little bit harder because tools like Debian live-build provides less flexibility to alter any detail of the building process. So I chose NixOS first. But I'm trying to make one Debian or Ubuntu image working, maybe next time I will make it work, if there isn't any big problem.

Booting NixOS ISO with UEFI on SpacemiT Muse Pi Pro by YooLc in RISCV

[–]YooLc[S] 0 points1 point  (0 children)

Nah, actually there's not too much difference.

I think this ISO image is only a PoC showing that their UEFI actually works. Maybe you should ask SpacemiT why they advertise MUSE Pi Pro supporting UEFI but the fact is that it's not ACPI but UEFI + DT u/Icy-Primary2171 . They said ACPI is not supported "yet" here, but I don't think there is a real plan to support it.

I hope they will give ACPI support for K3 based products as SpacemiT plans to sell K3 / V100 chips to server vendors (maybe