| 1 Aug 2025 |
 dramforever | so does it really matter what make target our unusable generic mips kernel is? | 12:38:12 |
| 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 |
| dramforever | oh | 12:39:44 |
| emily | because someone built something for Lemote in like 2014 or whatever and let it rot | 12:39:57 |
| dramforever | huh, so vmlinuz.efi did happen | 12:39:58 |
| emily | yes, it's good | 12:40:13 |
| emily | part of my goal is to make AArch64 use it by default when you use a UEFI bootloader | 12:40:19 |
| dramforever | no more megabytes of holes in the image now | 12:40:40 |
| emily | right now we use Image which is UEFI stub but uncompressed kernel for compatibility with not-UEFI, because e.g. U-Boot can't decode the UEFI ZBOOT format to decompress a kernel by itself | 12:40:41 |
| emily | so split outputs mean we build the kernel once, pack multiple image formats in different outputs, and you can get either vmlinuz.efi or zImage out based on the output you select, which bootloader modules can do | 12:41:08 |
