In all seriousness though, I would like to understand this a bit better as I have not heard of this project before. Is Ultibo actually written in assembler, and then when you compile your Pascal program the assembler boot modules along with the compiled program code are merged together? To me, bare-metal means assembler, or if you're really hardcore, binary.
https://github.com/ultibohub/Core/blob/master/source/rtl/ult...
Have you realized that every smart card you have, like a bank card, or a SIM card in your phone, runs Java code inside, using such a Java-optimized CPU? https://en.wikipedia.org/wiki/Java_Card
Early versions of macOS [1] were written in Pascal.
[1]: https://en.wikipedia.org/wiki/Category:Pascal_(programming_l...