[andrewf]

https://github.com/arobenko/embxx_on_rpi/blob/master/src/asm...

Their stuff isn't running on top of Linux on the Pi.

[menaerus]

My original assessment wasn't concerned with bare-metal vs sw vs fw at all.