I can't find it in the docs, but it has been alluded to in the past. How far is the project from being able to compile a rpython module? I'd expect that to emit a wrapper that imports ctypes and declares calls into a shared library, and a directory of C code which implements the internals and can compile into the expected shared library.