Astrobe is certainly bare metal, just like some of the Java deployment options, with AOT compilation to target boards, like Aicas and PTC are capable of.
https://inf.ethz.ch/personal/wirth/ProjectOberon/index.html
Sadly the ready made OberonStation boards are no longer on sale.