My tinycc fork: hopefully, better OSX support, EFI targets, and ???. This tree adds:
* some bare minimum OSX support.
* support for generating X64, IA32 (untested) and ARM (untested) UEFI images.

fs0:\> foo.efi
Hello from a TinyCC compiled X64 UEFI binary!
fs0:\>

https://github.com/andreiw/tinycc
https://bellard.org/tcc/

Readers of this blog will recognize Andrei as one of the two porters of UEFI to OpenPOWER.