[pok-devel] Ocarina/POK Questions (Partitions and Sockets)?

[ Thread Index | Date Index | More lists.tuxfamily.org/pok-devel Archives ]


Hello,

I have a couple quick questions about ocarina and POK.   I am using ocarina to generate pok_c (C code) for POK.  I have a multipartition aadl model where I am binding a process to a virtual processor.   We want to know if it is possible to bind two processes to a single virtual processor and generate POK code using Ocarina.   We are attempting to demonstrate that we can relocate a process component from one partition to another.

The other question is regarding using socket connections to communicate with a POK running in qemu emulated x86.   Does POK support the socket interface?   Does ocarina generate C code for this when using AADL device component representations.   I think there is an example in the POK distribution but just wanted to ask about this.   We desire to send and receive data from a demonstration application running on POK in qemu using sockets.

Regards and thanks for all replies,

Len
_____________________________
Leonard J. Reder
Jet Propulsion Laboratory
Flight Software Applications
Email: reder@xxxxxxxxxxxx
Phone (Voice): 818-354-3639
---------------------------------------------------



Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/