@jarkko@social.kernel.org @jorge@hachyderm.io I use mkosi-initrd[1] but I still prefer traditional OS, if I had a spare system I surely would have made OS images with mkosi and probably with bootc too :P [1]: https://rootkitten.bearblog.dev/bareboot I have told kernel development story in KDE Linux is good now: https://kde.org/linux/docs/kernel-dev I don't know what rebuild-efi is script I'm guessing it's a script around mkosi-initrd like mine. Enjoy, have fun! :D