I'm confused. I don't think this is a JVM - it doesn't load and exectute byte-code at runtime. So is it a cross-compiler to C with a runtime that manages GC?
Its an AOT compiler which does qualify as a JVM of sort. It takes Java bytecode and allows you to run it which is really the main "concept" of the JVM. It includes a GC and the basic semantics of the Java language (e.g. like GWT).