Hi Ludo, > Do we still need ‘device-mount-point’ now? For the dual-boot use case, > I don’t see how this would be used.
Nope, you're right it's not needed in <menu-entry>. >> + (initrd (menu-entry-initrd menu-entry)))) > > It’s weird to set ‘store-device’ and ‘store-mount-point’ here since > there’s no store (at least when defining a menu entry for another distro > or OS). Should we set them to #f? Sound ok ! > BTW, this is unrelated to this patch series, but I think ‘boot-name’ > should be renamed to ‘bootloader-name’ since that’s what it is. Ok. > Thank you for working on this! Thanks for reviewing :) Mathieu
