The P4 is pretty high spec with a 400MHz dual-core RISC-V

Especially as there is a decent working BasiliskII port for the PlayStation Portable with its 333MHz single-core MIPS CPU.

So this should be much easier.