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.)

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?

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 :)    

In reply to @fgaz:matrix.org
the milkv pioneer crowfunding is out :O

It’s already in hands of some devs. One such is felixonmars, the guy behind the RISC-V port of Arch Linux. He got it up and running using the vendor 6.1 kernel.

If you have a Twitter acc, you can see this tweet: https://twitter.com/felixonmars/status/1675224365766705152

Has anyone worked out how to get the VF2 to run at 1.5GHz?

I'm using a kernel with the AXP15060 enabled and all the patches for PMIC and CPU freq applied, but the system still runs at 1GHz (the boot clock rate).

[nixos@nixos:/etc/nixos/nixos-vf2]$ sudo cat /sys/devices/system/cpu/cpufreq/policy0/cpuinfo_{cur,max}_freq
1000000
1500000
[nixos@nixos:/etc/nixos/nixos-vf2]$ sudo cat /sys/devices/system/cpu/cpufreq/policy0/scaling_{driver,governor,cur_freq}
cpufreq-dt
performance
1500000

Also, the system isn't thermal throttling.

[nixos@nixos:/etc/nixos/nixos-vf2]$ cat /sys/class/thermal/thermal_zone0/temp
62769
[nixos@nixos:/etc/nixos/nixos-vf2]$ cat /sys/class/thermal/thermal_zone0/trip_point_0_{temp,type}
75000
passive

There isn't much in the kernel logs either.

axp20x-i2c 5-0036: AXP20x variant AXP15060 found
axp20x-i2c 5-0036: AXP20X driver loaded
[...]
cpufreq: cpufreq_online: CPU0: Running at unlisted initial frequency: 1000000 KHz, changing to: 1500000 KHz

In reply to @alex:tunstall.xyz

Has anyone worked out how to get the VF2 to run at 1.5GHz?

I'm using a kernel with the AXP15060 enabled and all the patches for PMIC and CPU freq applied, but the system still runs at 1GHz (the boot clock rate).

[nixos@nixos:/etc/nixos/nixos-vf2]$ sudo cat /sys/devices/system/cpu/cpufreq/policy0/cpuinfo_{cur,max}_freq
1000000
1500000
[nixos@nixos:/etc/nixos/nixos-vf2]$ sudo cat /sys/devices/system/cpu/cpufreq/policy0/scaling_{driver,governor,cur_freq}
cpufreq-dt
performance
1500000

I've asked upstream because I couldn't work out what's wrong, inexperienced as I am at kernel hacking.

https://github.com/starfive-tech/VisionFive2/issues/55

In reply to @fgaz:matrix.org
sent an image.

Is that the devel branch kernel?

The CPU frequency shown is the max frequency, but is that also what you get for /sys/devices/system/cpu/cpu*/cpufreq/cpuinfo_cur_freq?

Asking because I don't want to spend 10+ hours building the devel branch kernel (+ time needed to get it to build and work properly).

In reply to @raitobezarius:matrix.org
you can also just cross compile :p

I'm not entirely sure how I'd then hook that into nixos-rebuild.

nix copy to the VF2 and then hardcode the store path (or a symlink to it) in place of the native kernel in the system config?

That's how I know how long it takes to build the Linux kernel in the first place. 🙃

(I could probably disable a lot of unused modules to reduce the build times, but is it worth it?)