misuzu I've been trying to boot your NixOS VF2 configuration (https://github.com/misuzu/nixos-vf2) on my rev1.3b board, but it doesn't seem to be working (continuous red LED, no green LED). I've also tried the pre-built native image you've published, but that didn't help.

I don't have any way of connecting serial to debug it, so I thought I'd ask you a few questions that'll help me figure out what's going wrong:

• I flashed the latest firmware using the manufacturer's pre-compiled Debian image, could that be the cause? (The Debian image still boots.)
• Should I expect ethernet or HDMI out to work with your image? (I'm hoping to get the Linux console on HDMI.)
• Do the on-board LEDs blink when the system successfully boots, similarly to the Debian image?
• The GPIO switches on the board are currently set to boot from SD, since that worked for the Debian image; should they be set to something else?

In reply to @alex:tunstall.xyz

misuzu I've been trying to boot your NixOS VF2 configuration (https://github.com/misuzu/nixos-vf2) on my rev1.3b board, but it doesn't seem to be working (continuous red LED, no green LED). I've also tried the pre-built native image you've published, but that didn't help.

I don't have any way of connecting serial to debug it, so I thought I'd ask you a few questions that'll help me figure out what's going wrong:

• I flashed the latest firmware using the manufacturer's pre-compiled Debian image, could that be the cause? (The Debian image still boots.)
• Should I expect ethernet or HDMI out to work with your image? (I'm hoping to get the Linux console on HDMI.)
• Do the on-board LEDs blink when the system successfully boots, similarly to the Debian image?
• The GPIO switches on the board are currently set to boot from SD, since that worked for the Debian image; should they be set to something else?

In reply to @j-k:matrix.org
has anyone recently tried m.2 ssd boot on VF2?

In reply to @misuzu:matrix.org
1 vendor firmware should work
2 ethernet should work, didn't test hdmi
3 red led should be on
4 there's no firmware in the image, boot switch should be set to boot from spi

Thanks, after setting the switch to 00 ("Flash" according to the printing on the board), it boots and I now have a working SSH session.

FYI, my monitor is saying that there's no HDMI output.

In reply to @misuzu:matrix.org
root on nvme works

thanks. I'll need to take some time to set this up!

I think I saw you mention the cache has some native bits cached right? So if I'm using the matching nixpkgs in the flake & helpers etc I shouldn't be rebuilding absolutely everything right?

In reply to @j-k:matrix.org

thanks. I'll need to take some time to set this up!

I think I saw you mention the cache has some native bits cached right? So if I'm using the matching nixpkgs in the flake & helpers etc I shouldn't be rebuilding absolutely everything right?

In reply to @misuzu:matrix.org
I've my efi partition on an sd card and root on an nvme