Results 3 comments of Etienne Borde

@tfinnegan937 I believe ocarina for pok is broken in some way. As I am not a developer of Ocarina, I cannot provide support for this. As I wrote in issue#32,...

I am not a developer of Ocarina, so I cannot help with this specific issue. If you are interested in trying another AADL to C/POK code generator, you can have...

Dear Wayne, I just pushed a new version of the arinc653-queueing example; it fixes model.aadl to conform to the AADL ARINC653 annex; I added a .project file to import the...