[[!comment format=mdwn username="joey" subject="""comment 3""" date="2017-12-20T16:40:36Z" content=""" I think it makes sense to pass BIOS to Grub.bootsMounted (and also to Grub.boots). Of course the image building properties will also get an added parameter. This should be straightforward to do. (Using info for it could work, but I don't know if it would avoid any duplication of configuration.) """]]