Re: Xen XSM/FLASK policy, grub defaults, etc.

[George Dunlap]

> On Jun 1, 2020, at 2:10 PM, Julien Grall <jul...@xen.org> wrote:
> 4. Extract the .config from the binary using a similar script to 
> script/extract-ikconfig.

Ah, gotcha.  I did misunderstand your suggestion.

 -George