Hi Lennart, On Thu, 14 Sep 2023 11:32:20 +0200 Lennart Poettering <mzxreary@xxxxxxxxxxx> wrote: > 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. Thanks for the explanation. I know that writing a spec isn't easy and no matter how hard you try it will never be "perfect". That's why I think it's important to have a proper Introduction at the beginning of the spec that gives a context to the reader on the problem the spec is trying to solve, the different use cases/environments considered while writing the spec, the different components involved and how they interact with each other, which limitations there are, etc.. The BLS sort of has it (if you also consider the "Additional discussion") but for the UKI the introduction basically boils down to "it's a file that contains stuff", which isn't very helpful. Having such a context not only makes it easier to understand where such contradictions come from but also help to prevent problems where people from different backgrounds interpret the spec differently because they look at it from their context. An other thing I don't understand is, why the Extension Images (I assume describe the "Companion Files" in the systmd-stub man pages) are a separate spec. With the initrd and cmdline being part of the UKI and thus fixed you take away a lot of flexibility users have today. These extensions bring back part of the flexibility which IMHO is needed by general purpose distros as for them a simple one-size-fits-all solution doesn't work. That's why for me both belong together and thus should be described in the same spec. The extensions are also a good example why you need to properly define the different components and their responsibility. In a secureboot environment these extensions need to be signed and verified during boot. But wich component is responsible to check the signature? Is it the stub? The kernel? or even the initrd? If you don't define that in the spec you will eventually end up in situations where nobody checks the signature because everybody is sure it's "someone else's job". > 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. Fully agree. I must admit my first mail sounds pretty negative. But I don't oppose the UKI. All I wanted to say that at the moment the spec doesn't work for the kernel. But it can (and should) be fixed. In this context I hope it is also clear to you that when more and more people rely on the spec you need a more formal process when including changes. Especially when the change might break the implementation of others. So no more making the .cmdline optional and allowing it to be overwritten all on the same day. Having that said, what does "local override" exactly mean? Does that mean a distro can allow a user to freely choose the cmdline without checking any signatures? I.e. does that mean we can get rid of this https://github.com/systemd/systemd/issues/24539 > 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. Sorry, I never wanted to intend that the spec inherently low quality. Just that it doesn't meat my expectations, yet. But that is fine. The spec isn't even a year old and there's only a single implementation, yet. So it's more documentation rather than a spec. Furthermore I don't expect the spec to be ever "set in stone". A spec always needs to adjust to an ever changing world. If it doesn't it's dead. But once other people rely on it you mustn't break backward compatibility. Meaning the more people rely on it the more careful you have to be which changes you make. Anyway, I hope I could make clear what my pain points are and by that help to make it work for both sides. Thanks Philipp > Lennart > > -- > Lennart Poettering, Berlin > > _______________________________________________ > kexec mailing list > kexec@xxxxxxxxxxxxxxxxxxx > http://lists.infradead.org/mailman/listinfo/kexec > _______________________________________________ kexec mailing list kexec@xxxxxxxxxxxxxxxxxxx http://lists.infradead.org/mailman/listinfo/kexec
