On Mi, 13.09.23 16:00, Philipp Rudo (prudo@xxxxxxxxxx) wrote: > For example there are two definitions for the UKI which contradict each other. > The dedicated one [1] you have cited earlier and the one in the BLS for type #2 > entries [2]. In [1] the .linux and .initrd sections are mandatory and the > .osrel and .cmdline sections are optional while in [2] it is the other way > round. Which definition should the kernel follow? > > Furthermore, I absolutely don't understand how the spec should be read. All > the spec does is defining some file formats. There is no word about which > component in the boot chain is supposed to handle them and what exactly this > component is supposed to do with it. But that is crucial if we want to add UKI > support for kexec as the kexec systemcall will replace the stub. So we need to > know what tasks the stub is supposed to perform. Currently this is only some > implementation detail of the systemd-stub [3] that can change any moment and I > strongly oppose to base any uapi on it. > > In the end the only benefit this series brings is to extend the signature > checking on the whole UKI except of just the kernel image. Everything else can > also be done in user space. Compared to the problems described above this is a > very small gain for me. > > Until the spec got fixed I don't see a chance to add UKI support for kexec. So that spec is initially just a generalization of what systemd-stub/systemd-boot/ukify does. The descrepancies between the cited specs mostly come from the that generalization. If you want to enumerate kernels and order them the ".osrel" stuff for example is necessary, hence the boot loader spec really wants it. If you don't care about the boot loader spec though and just want to register the kernel UKI PE directly in BootXXX efi vars for example, then there's no need to include .osrel. That all said we should certainly make the two specs align better, and clarify the situation. Suggestions/patches more than welcome. Ultimately, I think a spec written as description with a single implementation in mind (i.e. systemd) is a generally a bad spec. Hence if kexec in the Linux kernel wants to add support for it, that'd be great but I'd see that as an opportunity to adjust the spec to the needs of the Linux kernel in this area, so that it reflects well more than just one backend implementation. Hence, seeing the spec as set in stone and as inherently low quality is the wrong way to see it I am sure. Instead, the goal here is to adjust the spec to make it work really nicely for *both* systemd and the kernel. Lennart -- Lennart Poettering, Berlin _______________________________________________ kexec mailing list kexec@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/kexec
