Thiebaud Weksteen of Google posted a message on the UEFI Forum EDK2 and Python development lists, asking for help with an official port of Python for UEFI. Please help out if you can!! Excerpt of his message below, full message (and thread):
UEFI has become the standard for firmware (BIOS) interface. Intel has provided an open source implementation under the name EDK2 (part of the TianoCore initiative)  for some time. This implementation has evolved significantly and now provides the functionalities of a small OS with a standard library similar to POSIX. In 2011, a port of Python 2.7.1 was added to the EDK2 repository . This port then evolved to 2.7.2 which is still defined as the reference port . In 2015, another port was added of Python 2.7.10 in parallel of 2.7.2 . Since then, both implementations have diverged from upstream and know vulnerabilities have not been fixed. I would like to bring support for edk2 in the official Python repository to remediate this situation, that is officially support edk2 as a platform. Technically, there would be three main aspects for the on-boarding work:
1) Fix headers and source to resolve definition conflicts, similarly to ABS definition in ;
2) Add the edk2module.c  to handle platform-specific functionalities, similarly to the posixmodule.c;
3) Add the build configuration file  and necessary modifications within Python to handle the edk2 toolchain;
This work would target the master branch (that is Python 3). I would be interested in hearing your thoughts on this idea.