| 4 Mar 2025 |
 emily | you'd need a suite of drivers that use the UEFI boot services protocols I suppose | 14:08:17 |
 Arian |
ok I know this is a total digression at this point
should be the topic of this channel
| 14:08:39 |
 raitobezarius | yeah, I had a plan for this for aarch64 systems | 14:08:26 |
| raitobezarius | there's no OptionROM for classical SAS controllers | 14:08:44 |
| raitobezarius | so I planned to write a Rust UEFI driver off mpt3sas | 14:08:45 |
| emily | (the root of this chain of thought is "run Nix in netboot code" → "nobody wants to port Nix to UEFI" → "just run Linux but do normal UEFI boot instead of kexec somehow?") | 14:09:08 |
| raitobezarius | we have plans for Tvix in UEFI though | 14:09:19 |
 Ilan Joselevich (Kranzes) | Are the plans in the room with us? | 14:09:39 |
| Ilan Joselevich (Kranzes) | 🤣 | 14:09:44 |
| raitobezarius | they are in the rooms, my dear Kranzes | 14:09:46 |
| emily | yeah I guess that works :) | 14:09:49 |
| raitobezarius | tvix-boot specifically could be alloc-only instead of std | 14:10:04 |
| Ilan Joselevich (Kranzes) | Tvix for netbooting would be gigabazed | 14:10:24 |
| raitobezarius | anyway, enough talk, now time for actions | 14:10:39 |
| Ilan Joselevich (Kranzes) | Castore go brrrr and extracts into a bootable image | 14:10:45 |
| Arian | systemd-praxisd | 14:10:50 |
| emily | would the backing store be a raw partition or something? | 14:11:44 |
 @adam:robins.wtf | If you're controlling the kernel your netbooting, is there a need to kexec? | 14:12:09 |
| Arian | just ndb drive | 14:12:18 |
| Arian | or something | 14:12:26 |
| Arian | idk | 14:12:26 |
| @adam:robins.wtf | * If you're controlling the kernel you're netbooting, is there a need to kexec? | 14:12:32 |
| emily | so what I mean by "nix store netboot" is that you would have a ~permanent UEFI thing implementing "fetch a NixOS system to run (incl. disk caching) and boot into it" | 14:13:20 |
| emily | in the same way that a PXE implementation or whatever is permanently installed | 14:13:34 |
| @adam:robins.wtf | right | 14:13:45 |
| emily | so you would want to handle getting a newer kernel, yeah | 14:13:45 |
| emily | conventional-netbooting into the implementation of that might make sense too though | 14:14:09 |
| raitobezarius | non conventional netbooting cannot work for this | 14:14:17 |
| @adam:robins.wtf | the pxe server could provide a newer kernel | 14:14:31 |
| emily | my hope was to avoid PXE :) | 14:15:03 |
