Very nice! I am curious how you built your BASIC as an EFI application. I didn't find any source code or build instructions in the downloads.

I am investigating whether it would be feasible to do something similar for Python.

It's C code compiled with MSVS. Not sure about a FOSS release yet. I'm still in the early stages of experimenting.

Not the author.

But binding micropython and posix-uefi is a weekend project. [0]

[0] https://gitlab.com/bztsrc/posix-uefi

Maybe the embedded python flavors would be a good fit?