!pbdtvoHxUGLhcEvnlu:nixos.org

Exotic Nix Targets

330 Members
105 Servers

Load older messages


SenderMessageTime
28 Jun 2023
@artturin:matrix.orgArtturin bootstrap file issue? https://github.com/NixOS/nixpkgs/issues/211120 https://discourse.nixos.org/t/nix-on-armv7l-fails-to-build-any-packge/1681923:21:56
@artturin:matrix.orgArtturin /nix/store/yx05p52ik9j1ws4x035pyfi4w8ns9zy8-bootstrap-stage1-stdenv-linux/setup: ./configure: /bin/sh: bad interpreter: No such file or directory 23:22:25
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.rs@lotte:chir.rs 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
@thefossguy:matrix.orgPratham Patel
In reply to @alex:tunstall.xyz
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.

Yep, and I also have a working system (on a Pi with UEFI and tons of hacks). My confusion stems from the following wandering...

"If RISC-V isn't officially supported (yet), there should be a different repository I should point at, so I can get the RISC-V binaries from there."

That's why I asked here :)

14:34:50
@thefossguy:matrix.orgPratham Patel
In reply to @joepie91:pixie.town
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
Oh, makes sense. Still new to the nix expression language so it will take me some time to figure it out. Thanks for the explanation!
14:35:43
@alex:tunstall.xyzAlex
In reply to @thefossguy:matrix.org

Yep, and I also have a working system (on a Pi with UEFI and tons of hacks). My confusion stems from the following wandering...

"If RISC-V isn't officially supported (yet), there should be a different repository I should point at, so I can get the RISC-V binaries from there."

That's why I asked here :)

NixOS is a source-based distribution: the Nixpkgs repository only specifies how to build packages (and provides an extensive x86_64 and aarch64 cache).

Not only that, but Nixpkgs has tools to change how packages are built, so if you find something that doesn't build, you can override it to fix it.

You'll find that on the latest version of nixos-unstable, a great deal of things already both cross-compile and natively compile to riscv64. It'll likely take several hours of compilation to build a complete system (esp. natively if your kernel doesn't support cpufreq scaling, since the default clock speed is 1GHz and not the full 1.5GHz), but as long as you're not hoping to use any Java packages or Haskell packages, most things will Just Work™.

14:44:09
@thefossguy:matrix.orgPratham Patel
In reply to @alex:tunstall.xyz

NixOS is a source-based distribution: the Nixpkgs repository only specifies how to build packages (and provides an extensive x86_64 and aarch64 cache).

Not only that, but Nixpkgs has tools to change how packages are built, so if you find something that doesn't build, you can override it to fix it.

You'll find that on the latest version of nixos-unstable, a great deal of things already both cross-compile and natively compile to riscv64. It'll likely take several hours of compilation to build a complete system (esp. natively if your kernel doesn't support cpufreq scaling, since the default clock speed is 1GHz and not the full 1.5GHz), but as long as you're not hoping to use any Java packages or Haskell packages, most things will Just Work™.

Great to know, thanks! :)
14:45:15
@fgaz:matrix.orgfgaz
In reply to @alex:tunstall.xyz

NixOS is a source-based distribution: the Nixpkgs repository only specifies how to build packages (and provides an extensive x86_64 and aarch64 cache).

Not only that, but Nixpkgs has tools to change how packages are built, so if you find something that doesn't build, you can override it to fix it.

You'll find that on the latest version of nixos-unstable, a great deal of things already both cross-compile and natively compile to riscv64. It'll likely take several hours of compilation to build a complete system (esp. natively if your kernel doesn't support cpufreq scaling, since the default clock speed is 1GHz and not the full 1.5GHz), but as long as you're not hoping to use any Java packages or Haskell packages, most things will Just Work™.

by the way, I asked about risc-v ghc bindists here https://gitlab.haskell.org/ghc/ghc/-/issues/23519
15:38:39
@alex:tunstall.xyzAlex
In reply to @fgaz:matrix.org
by the way, I asked about risc-v ghc bindists here https://gitlab.haskell.org/ghc/ghc/-/issues/23519

Guess I'll have to keep trying to cross-compile then :(

(My last attempt at cross-compiling allocates 4GB of memory and then segfaults on startup.)

16:21:33
@fgaz:matrix.orgfgazthe milkv pioneer crowfunding is out :O19:00:18
@fgaz:matrix.orgfgazit would be a nice hydra builder...19:05:12
@raitobezarius:matrix.orgraitobezariusnot sure :p19:11:34
2 Jul 2023
@matthewcroughan:defenestrate.itmatthewcroughan - nix.how
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?

https://github.com/MatthewCroughan/visionfive-nix
13:50:17
@matthewcroughan:defenestrate.itmatthewcroughan - nix.howRelated aybe 13:50:20
@matthewcroughan:defenestrate.itmatthewcroughan - nix.how * Related maybe 13:50:24
@thefossguy:matrix.orgPratham Patel

I initially thought this was just for the HiFive Unmatched. Then I saw your youtube video and got some hope. Then I saw your repo and gave up all hope (because idk nix well enough; _yet_).

 

Since you are here, please accept my thank you :)    

14:21:53

Show newer messages


Back to Room ListRoom Version: 6