| 4 Mar 2025 |
 raitobezarius | some of the linuxboot pieces does kexec | 14:07:37 |
| raitobezarius | here's another one | 14:07:41 |
 Arian | LennartOS | 14:07:46 |
| raitobezarius | it's not Linux | 14:07:48 |
| raitobezarius | but | 14:07:48 |
| raitobezarius | https://github.com/u-root/u-root | 14:07:54 |
| raitobezarius | close enough | 14:07:55 |
| raitobezarius | u-root has a UEFI BootServices-only Linux loader | 14:08:09 |
 emily | I guess the real problem with kexec is Linux drivers getting hardware into unusual state though. so the hard part is not running Linux drivers | 14:08:15 |
| 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 |
