| 1 Aug 2025 |
 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 |
