RISC OS and Genode at the same time

A demo of running Genode on the first core and RISC OS on the second. The only hardware that it works on is iMX8MQ based systems. This is a hack, not polished release.