| 12 Jul 2023 |
 Pratham Patel | The last line says /nix/store/mpgh4905nxkpf0jxcx90lchhf6l5gpiq-nixos-system-nixos-23.11.git.7c67f006ea0M | 17:15:38 |
| Pratham Patel | It matches with your hash | 17:15:46 |
| Pratham Patel | I'll reboot now | 17:15:50 |
 Alex | Yeah, that's Nix telling you what output has been imported. | 17:15:55 |
| Alex | You also need to switch the boot system to it first. | 17:16:05 |
| Alex | * Yeah, that's Nix telling you what store paths have been imported. | 17:16:39 |
| Pratham Patel | Yep, switched | 17:17:01 |
| Pratham Patel | Did I f-up by being extra smart? 🙃 | 17:24:35 |
| Alex | ? | 17:24:41 |
| Pratham Patel | I noticed that the image (https://github.com/misuzu/nixos-vf2) didn't boot with all combinations of DIP switches so me being extra smart, I dd-ed uboot SPL and SBI firmware on /dev/sda1 and /dev/sda2 respectively and mvoed /boot to /dev/sda3 and / to /dev/sda4. Now, your derivation doesn't work because it expects "/dev/sda1" to be EFI? | 17:27:21 |
| Pratham Patel | I got this
$ /nix/store/mpgh4905nxkpf0jxcx90lchhf6l5gpiq-nixos-system-nixos-23.11.git.7c67f006ea0M/bin/switch-to-configuration boot
File system "/dev/mmcblk1p3" has wrong type for an EFI System Partition (ESP).
systemd-boot not installed in ESP.
| 17:27:36 |
| Alex | That's probably because the partitions need to have specific flags/UUIDs set. | 17:28:02 |
| Pratham Patel | In reply to @thefossguy:matrix.org
I noticed that the image (https://github.com/misuzu/nixos-vf2) didn't boot with all combinations of DIP switches so me being extra smart, I dd-ed uboot SPL and SBI firmware on /dev/sda1 and /dev/sda2 respectively and mvoed /boot to /dev/sda3 and / to /dev/sda4. Now, your derivation doesn't work because it expects "/dev/sda1" to be EFI? Also yes, I flashed the recommended firmware using nix run github:misuzu/nixos-vf2#flash-visionfive2-vendor /dev/ttyUSB0 :) | 17:28:25 |
| Pratham Patel | Ah, so I'll need to build it myself? | 17:28:35 |
| Alex | The system is only meant to boot with the switches on "flash" | 17:28:53 |
| Alex | In reply to @thefossguy:matrix.org
Ah, so I'll need to build it myself? And figure out how to make it SDIO boot-compatible, if you want to go that way | 17:29:13 |
| Pratham Patel | By flash, do you mean the QSPI flash on board? | 17:29:28 |
| Alex | Yes, it's the setting called "flash" on the printout on the board itself. | 17:29:49 |
| Pratham Patel | Okay I'll give it another go | 17:30:07 |
| Alex | Honestly though, I'm amazed that you managed to boot misuzu's image at all after screwing with the partitions. | 17:30:55 |
