In addition, we created the Phalcon Kernel (https://github.com/phalcon/cphalcon/tree/1.1.0/ext/kernel) which is a super API allowing us to write C code following a similar philosophy/workflow as PHP, this helps developers to understand better how the extension currently works, a developer can contribute code to phalcon by just thinking in PHP.
Some critical parts in terms of performance as some parts of the database access, the parsers, volt, phql, are written without using Phalcon Kernel.
I don't mean documentation.
You said you wrote the phalcon kernel so you can write php code and easily port it to c aka the phalcon kernel.
This php -> phalcon kernel c - is this done by hand or do you have a tool that scans the php code and translates it into phalcon kernel c code?