In the last few days I was trying to create an interpreter for the nintendo 3DS, yet I was unable to. I do not think it is impossible, but it is certainly a not an easy project.
My idea was to compile C code (since the most of ocaml library is written using c, and I can use c to compile 3DS apps), but I struggled to compile a basic example.