!pbdtvoHxUGLhcEvnlu:nixos.org

Exotic Nix Targets

352 Members
111 Servers

Load older messages


SenderMessageTime
13 Mar 2022
@colemickens:matrix.orgcolemickensI think I'll just use an existing microsd card and save this for when I have some ephemeral OS booted to peek at...02:01:50
@zhaofeng:zhaofeng.liZhaofeng LiHeh, nice repackaging02:07:01
@colemickens:matrix.orgcolemickenshuh, maybe it was intentional and they pre-loaded an image and I missed the memo. 02:18:06
@colemickens:matrix.orgcolemickensdo I need to run that to get an updated u-boot first? so far it's not showing much signs of doing anything02:23:52
@zhaofeng:zhaofeng.liZhaofeng LiNo, you should be able to see HDMI output from the NixOS image in a minute or so. Do you have a USB to serial adapter?02:25:29
@colemickens:matrix.orgcolemickensyeah, I'm headed for that in a minute. Does it boot without the fan attached?02:28:27
@zhaofeng:zhaofeng.liZhaofeng LiIt does, and I don't have a suitable fan either02:29:22
@colemickens:matrix.orgcolemickenswelp, about to grab it but the microsd they sent has stuff on it and it doesn't seem to boot either02:46:50
@zhaofeng:zhaofeng.liZhaofeng LiWhat do you see on the serial line?02:47:42
@colemickens:matrix.orgcolemickensevidence that its working :P02:59:52
@colemickens:matrix.orgcolemickensI think that it just completely fails to output to this particular monitor, but I can see nixos stage2 going. Excellent!03:00:14
@zhaofeng:zhaofeng.liZhaofeng LiMaybe it's related to the DRM oops. You can try changing the kernel config to make it built in03:02:15
@zhaofeng:zhaofeng.liZhaofeng LiSadly I won't have much time to take a look myself until next week 🙁03:02:26
@colemickens:matrix.orgcolemickensoh, I don't even think I'm going to use the hdmi much for now unless another project makes a lot of serious progress :)03:02:56
@colemickens:matrix.orgcolemickensthis is really awesome, between your repo and having this up with serial access, I'm already rolling. thank you!03:03:14
@colemickens:matrix.orgcolemickenshow's the riscv64 qemu perf on x86_64-linux? I'm trying to figure out if I should be building on device or if I'm better off just paying a few bucks to boot a Threadripper and let it go once a week.03:45:26
@zhaofeng:zhaofeng.liZhaofeng Li On my 3900X, qemu-system was roughly on par with my HiFive Unmatched in the single-core 7z b benchmark. qemu-user binfmt was considerably faster, but some packages don't build. 03:55:03
@colemickens:matrix.orgcolemickensit's easy to workaround but the visionfive nixos module isn't part of the flake outputs04:09:45
@colemickens:matrix.orgcolemickensalso curious if theres a wider riscv64 matrix room04:14:45
@jamie:memes.nzJamie wider riscv64 is called riscv128 05:52:34
@jamie:memes.nzJamie:305:52:35
@0x4a6f:matrix.org[0x4A6F]
In reply to @colemickens:matrix.org
so, my visionfive board arrived, and I figured I'd use the microsd they sent and then I start to open and notice this: https://photos.app.goo.gl/5TnSws4szCYktRm99
Surgically provisioned fedora RISC-V image..
09:01:14
@0x4a6f:matrix.org[0x4A6F]636d621e-0b07-4ace-b9d4-9102ea840552.jpg
Download 636d621e-0b07-4ace-b9d4-9102ea840552.jpg
09:02:29
@0x4a6f:matrix.org[0x4A6F]
In reply to @colemickens:matrix.org
also curious if theres a wider riscv64 matrix room
There is also #riscv-main:matrix.org
09:09:45
@0x4a6f:matrix.org[0x4A6F]
In reply to @colemickens:matrix.org
also curious if theres a wider riscv64 matrix room
* There is also #riscv-main:matrix.org in the #riscv:matrix.org space
09:11:08
@0x4a6f:matrix.org[0x4A6F] * There is also #riscv-main:matrix.org in the #riscv:matrix.org space (unofficial) 09:30:53
@colemickens:matrix.orgcolemickensAny idea if uboot riscv cross-compiles? I'm close to something neat, if so.23:57:20
@colemickens:matrix.orgcolemickensI'll play with the nixpkgs branch after a bit, gotta do a call23:57:29
14 Mar 2022
@zhaofeng:zhaofeng.liZhaofeng Li
In reply to @colemickens:matrix.org
Any idea if uboot riscv cross-compiles? I'm close to something neat, if so.
Yes it does
00:04:50
@colemickens:matrix.orgcolemickenshm, I'm trying to boot qemu with an opensbi build with the kernel as a FW_PAYLOAD and then directly loading kernel but it's not going super well so far -_-01:45:00

Show newer messages


Back to Room ListRoom Version: 6