| 1 Jun 2025 |
 K900 | But also it might be easier to just change the jumpers | 18:47:10 |
| K900 | To boot from SD directly | 18:47:14 |
| K900 | If you have something you want to boot from SD | 18:47:20 |
 emily | well I kind of wanted to just boot the vanilla ISO from SD | 18:47:37 |
| emily | mostly for a dumb reason: repart is incredibly slow for me so building an SD image is a pain | 18:47:54 |
| K900 | Oh that's not going to happen | 18:48:55 |
| emily | wait I thought you said yesterday that should work | 18:49:15 |
| K900 | Actually it might but it depends on how fucked up the uboot DT is | 18:49:18 |
| K900 | Not with the ISO | 18:49:30 |
| K900 | Because UEFI DT fuckery | 18:49:37 |
| K900 | It should work with a generic-extlinux-compatible image because uboot will pick the right DT from the kernel | 18:49:57 |
| emily | I see | 18:50:50 |
| emily | we don't have any of those building on Hydra, right? I guess I'll just try and figure out how to make repart not slow | 18:51:14 |
| emily | oh we have an sd_image | 18:51:44 |
| K900 | We do | 18:51:46 |
| K900 | https://hydra.nixos.org/job/nixos/trunk-combined/nixos.sd_image_new_kernel_no_zfs.aarch64-linux | 18:51:47 |
| emily | cool | 18:51:51 |
| K900 | sd_image will have 6.12 which is too old | 18:52:03 |
| K900 | To actually do anything useful at least | 18:52:20 |
| emily | right | 18:52:23 |
| K900 | It might boot to a serial console, I haven't checked | 18:52:30 |
| emily | what a pain | 18:53:03 |
| K900 | You could theoretically netboot it | 18:53:46 |
| K900 | If you want to have even more fun | 18:53:51 |
| emily | well if I want to do fun things I should probably figure out why systemd-repart takes over an hour to build an image. | 18:54:29 |
 misuzu | Just read about bpi-r4 pro and now I want one | 19:22:28 |
| emily | the pro doesn't add anything I'd want I think thankfully | 19:37:35 |
| emily | I'd be more interested in a new WiFi chip or case they have actual shielding | 19:37:57 |
| emily | *that | 19:38:00 |
| misuzu | I want those 2.5G ports | 19:38:31 |
