The difficulty seemed to me to be actually getting the board to run your UEFI code. I'll give it a try on an RPi. Thanks for the input. And yes, I'm aware of m

The difficulty seemed to me to be actually getting the board to run your UEFI code. I'll give it a try on an RPi. Thanks for the input. And yes, I'm aware of most of that, it has always bugged me that my mobo's UEFI is typically larger than the kernel it runs.