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?