Re: Not installing files to /boot

2022-09-05 Thread Luca Boccassi
> Dear Debian kernel maintainers, > > people wanting to give systemd-boot a try cannot currently follow the > upstream > recommended setup [1] that mounts a FAT-formatted partition (either > the XBOOTLDR > partition from the spec or ESP [2]) to /boot/, since dpkg requires a > lot of > things from

Not installing files to /boot

2022-09-05 Thread Jörg Behrmann
Dear Debian kernel maintainers, people wanting to give systemd-boot a try cannot currently follow the upstream recommended setup [1] that mounts a FAT-formatted partition (either the XBOOTLDR partition from the spec or ESP [2]) to /boot/, since dpkg requires a lot of things from the underlying fil