AIBOのCPU?

「AIBOでOCamlを動かせないか（＝OCamlでAIBOを動かせないか）」という話で、AIBOのCPUは"ARM MIPS R?000"みたく聞いたのですが、そういうCPUがあるんでしょうか？　ARMとMIPSは別のCPUだと思ってた…。ちょっと検索しても仕様は「64ビットRISCプロセッサ」となっていて、よくわかりません。教えて君モード。知ってる人にはすごく間抜けなことを聞いてるかもしれませんが…

P.S. とりあえずバイトコードで動かせ、という話はさておき。