upvote
> just build a UEFI Kernel Image and sign that.

examples and documentation welcome

reply