[the_panopticon]

And there are the examples from host firmware, from FCode in OpenFirmware https://github.com/openbios?language=forth that booted the IBM, Sun, and PowerPC Macs https://github.com/openbios?language=forth to the UEFI world's EBC https://github.com/pbatard/fasmg-ebc