I have a hobby project that requires a real-time MCU running an embedded RTOS like embox or something comparable.
I know that it is typical for the RPi to be ran with a Linux flavor like Raspian, Debian, Ubuntu, etc.
Can RPi be hacked/configured to run embox instead? If so, how (general procedures, links to documentation, etc.)? If not, why?