| 1 Aug 2025 |
 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 |
| emily | so we get compressed kernels and UEFI-by-default without breaking anyone's boot (hopefully (probably)) | 12:41:23 |
| dramforever | noice | 12:41:34 |
| emily | the actual solution is for someone to just implement reading the UEFI ZBOOT header in U-Boot. the actual solution is for everyone to just use UEFI | 12:41:51 |
