Hi Maxim,
Indeed, the intra-partition ports do not have to be pre-configured. I did that because it was simple for me to do. If you have a patch that overcomes this issue, please commit.. At that time, I wanted something that demonstrate the approach of building a partitioned system, a full compliance with the ARINC standard was not the primary objective. But if there is nice contribution to do it, I will be more than happy to see your any contribution!
My recommendation would be to tell us what changes you need in the code generator. Then, Jerome or I can figure out how we can improve Ocarina and support your changes.
Also, having other code generation tools is a great news! If you can share it, please reference it on the POK website! Also, a ARINC653 test suite will be more than welcome!
Please let us know what you can contribute and how you can do it. On my end, I am willing to add you as a committer on the project and give you the hand on the website as well! Please let me know what you would like to do.
Julien.