On Wed, May 20, 2020 at 01:14:18PM +0100, Ian Jackson wrote:
> Hi. As maintainer of the Xen Project upstream CI, I do testing of
> upstream Xen builds onto Debian systems.
>
> We use grub's 20_linux_xen to do the bootloader setup. However, it is
> missing some features so we are carrying some patches. Here they are
> for your consideration.
>
> Regards, Ian.
>
> Ian Jackson (2):
> 20_linux_xen: Ignore xenpolicy and config files too
> 20_linux_xen: Support Xen Security Modules (XSM/FLASK)
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
Daniel