The video opens on a floppy disk that says Amiga, but the second notch indicates that it's a high density disk, not a double density disk as was common on the Amiga. Boy, I hope somebody got fired for that blunder!

I can attest that MuOS also works well on the RG35XX+, including Amiga, which as I recall the original model RG35XX didn't quite have the power for. The RG40XXV appears to have the advantage of an analog stick, which would be nice for later platforms like PlayStation.

Via https://www.reddit.com/r/amiga/comments/1thh82m/pocket_amiga...