!pbdtvoHxUGLhcEvnlu:nixos.org

Exotic Nix Targets

353 Members
111 Servers

You have reached the beginning of time (for this room).

SenderMessageTime
29 Jun 2023
@thehunter:aguiarvieira.ptTheHunter joined the room.00:33:16
@thehunter:aguiarvieira.ptTheHunter 00:33:28
@matthewcroughan:defenestrate.itmatthewcroughan - nix.how chuang: I'm booting your image for the MQ Pro D1 board, but it seems to not be doing anything on HDMI, any ideas? 09:41:51
@matthewcroughan:defenestrate.itmatthewcroughan - nix.howhttps://github.com/chuangzhu/nixos-sun20iw1p1/releases09:41:56
@matthewcroughan:defenestrate.itmatthewcroughan - nix.howI'm referring to the latest release here 09:42:00
@matthewcroughan:defenestrate.itmatthewcroughan - nix.howUsing revision 1.2 of the board 09:45:22
1 Jul 2023
@lotte:chir.rsLotte (it/its)/Cinny (she/her) ΞΈΞ”& changed their profile picture.09:50:03
@thefossguy:matrix.orgPratham Patel joined the room.13:54:38
@thefossguy:matrix.orgPratham Patel

Hello everyone, I am the "maintainer" of the unmaintained minimal Arch Linux image for the VisionFive 2. Recently I tried out NixOS and am using it on my Raspberry Pi as the "main computer" (my current x86 pc died so this is a temporary measure; but it works even with 'llvmpipe' because I'm using UEFI).

I came to know about the RISC-V effort and got curious. I was checking this issue on NixOS/nixpkgs and a thread mentioned about this IRC channel. So here I am.

Are there any "Here's how to get started on the VF2" guides?

14:04:28
@thefossguy:matrix.orgPratham PatelMe being new to NixOS doesn't help me understand how to test the waters with RISC-V on NixOS, haha14:05:49
@alex:tunstall.xyzAlex
In reply to @thefossguy:matrix.org

Hello everyone, I am the "maintainer" of the unmaintained minimal Arch Linux image for the VisionFive 2. Recently I tried out NixOS and am using it on my Raspberry Pi as the "main computer" (my current x86 pc died so this is a temporary measure; but it works even with 'llvmpipe' because I'm using UEFI).

I came to know about the RISC-V effort and got curious. I was checking this issue on NixOS/nixpkgs and a thread mentioned about this IRC channel. So here I am.

Are there any "Here's how to get started on the VF2" guides?

There's the official documentation from the vendor and a few enthusiasts, but they're mostly for Debian.

For NixOS, there are a few repositories here and there that contain a bootable configuration. I've based my system configuration off of https://github.com/misuzu/nixos-vf2 (note that this was written for rev 1.3B; it has DTBs for other revisions, but might not work as well).

14:11:18
@alex:tunstall.xyzAlex Given that you've (presumably) managed to boot Arch on the system, it should mostly be a matter of figuring out how to translate what you already know into NixOS configuration. The boot.* options should be of interest. 14:12:22
@joepie91:pixie.townjoepie91 πŸ³οΈβ€πŸŒˆ Pratham Patel: I probably won't be able to help much since I know ~nothing about VF2, but here's some generic explanation that may or may not be a missing piece of understanding: Nix is at its core a build tool, and while most of its usage is for building packages for a system, there's no reason it has to be limited to that, and so it is also used as a build tool for the install image itself. essentially, the various ISOs that you can have for NixOS are "just" attributes of nixpkgs that you can evaluate and build like they are any other package. the architecture is an argument when initializing nixpkgs, though in this case I'm guessing you'd be cross-compiling so additional machinery (that I am not familiar with) may be necessary 14:12:51
@joepie91:pixie.townjoepie91 πŸ³οΈβ€πŸŒˆso I would expect that getting a bootable image is a matter of building the right nixpkgs attribute with the right options/machinery14:13:25
@thefossguy:matrix.orgPratham Patel
In reply to @alex:tunstall.xyz

There's the official documentation from the vendor and a few enthusiasts, but they're mostly for Debian.

For NixOS, there are a few repositories here and there that contain a bootable configuration. I've based my system configuration off of https://github.com/misuzu/nixos-vf2 (note that this was written for rev 1.3B; it has DTBs for other revisions, but might not work as well).

For NixOS, there are a few repositories here and there that contain a bootable configuration. I've based my system configuration off of https://github.com/misuzu/nixos-vf2

That's exactly the starting point I was looking for! Thank you!

note that this was written for rev 1.3B; it has DTBs for other revisions, but might not work as well

Good reminder about the split DTBs. From what I know, upstream u-boot will patch it on the fly but yes, for the moment, we need to explicitly set it.

14:33:24

Show newer messages

Back to Room ListRoom Version: 6