Having written the code on the mbed emulating a ZX81 I gave the Raspberry Pi a go in OS-less mode (Bare Metal) so after powerup the PI boots straight into the ZX81 emulator.

First steps were in assembler, then moved on to C