| 1 Aug 2025 |
 dramforever | well at least for riscv it's Image unless the generic compressed kernel has become a thing since last time i checked | 12:38:55 |
 emily | I could just break it but Alyssa would get mad at me. because we do nominally have some kind of MIPS conditionals and stuff in there already | 12:38:59 |
| emily | we use vmlinuz.efi for RISC-V and LoongArch64 | 12:39:19 |
| emily | thankfully | 12:39:21 |
| dramforever | in linux, you mean? | 12:39:23 |
| emily | so there is just no legacy there | 12:39:27 |
| dramforever | or in nixpkgs in general | 12:39:34 |
| emily | in our Linux kernel packaging machinery yes | 12:39:37 |
| emily | some of which is in lib.systems | 12:39:39 |
