Cláudio Silva claudiodcsilva at
Fri Mar 16 16:31:24 UTC 2012


张文杰 mistyped. AIR is based on PMK and not on POK.
If i remember correctly the developed BSP was not included in RTEMS
because it included changes to other "places" than just libbsp.

I personally agree with Julien, The best project for RTEMS is to
provide a hypervisor-independent paravirtualization layer to which
several hypervisors can attach to. The student shall determinate which
points in RTEMS source need to be virtualized through hypervisor
calls. The best way to achieve this is through porting RTEMS to POK
and by analyzing AIR RTEMS's patch (available in  张文杰 delivery).

Part of the ARINC653 API (processes, time management, buffers,
blackboards, semaphores, events and partially error handling) can be
provided without an underlying Hypervisor.  The remaining services
(health monitoring, ports and partition management) can be abstracted
to the services provided by any underlying hypervisor. You can also
include the ports service in standalone mode if you map the ARINC
ports to UDP ports (but then you need to use the ip stack...) [i see a
possible use case of this if someone wants to use pseudopartitions on
a distributed ARINC653 system].
I think this ARINC653 API project is more feasible than the
paravirtualization one and also fits best on a GSOC timeline.


2012/3/16 Joel Sherrill <joel.sherrill at>:
> On 03/16/2012 09:14 AM, 张文杰 wrote:
> Hi, all:
>     I am the student who implement the GSOC2011 project hypervisor for
> In my original proposal i wanted port the linux to the RTEMS
> paravirtualization hypervisor
> named AIR. But as the progress of project, the plan had changed into adapt
> the
> lastest RTEMS to the AIR hypervisor. So what i did is make the lastest RTEMS
> run
> under AIR successfully which contains a paravirtualization RTEMS kernel
> named
> POK. If you want to know any information please free to contact me
> :) We are very interested. I didn't realize that AIR used Pok. Since I
> couldn't
> get access to AIR, I was refocusing on Pok.  Julien Delange is responsible
> for
> Pok.
> We would like to see RTEMS as a proper client under Pok and eventually
> support the ARINC-653 API that way.  So getting your BSP into proper shape
> on the RTEMS head and making sure others can run it is a BIG deal.
> From there, we can begin to support other architectures supported by Pok
> and provide application level ARINC services.
> At 2012-03-16 06:47:16,"Julien Delange" <julien.delange at> wrote:
>>On Thu, Mar 15, 2012 at 6:44 PM, WL <jolkaczad at> wrote:
>>> This is all valuable stuff, and the topic is getting more interesting
>>> by the minute. I see that this would somewhat pick up where a last
>>> year's GSoC project left off. Is the student still active in the
>>> community? If not ,did he leave his work in a useable state? I'd like
>>> to contact him since there's no need to do the same research again and
>>> come to conclusions which have already been arrived at.
>>Please have a look the the links below. Also, the whole project has
>>several goals :
>>1. Implement ARINC653 services in RTEMS. If you consider RTEMS only,
>>you can only design intra-partition services (tasks, intra-partition
>>comm. , etc ...). This is described in [3].
>>2. Implement a prototype of a hypervisor to execute several RTEMS
>>instance in different partitions (see proposal [4]). In that case, the
>>work consists in (1) design a first prototype to execute RTEMS in
>>several partition and (2) adapt RTEMS to call the hypervisor services
>>for inter-partitions interactions. Once that is done, we can also
>>implement ARINC653 inter-partitions services.
>>So, implementing full ARINC653 compliance for RTEMS would require to
>>do both tasks. The second project is more difficult but has more
>>priority since this would be the fundation for building partitions
>>using RTEMS. In addition, making the partitioned-bsp of RTEMS would be
>>really tricky because it has to be as much generic as possible to fit
>>with other separation kernel approaches (as AIR, XtratuM or POK).
>>As far as I know, the GSOC 2011 project focuses on the second item of
>>the work. It was based on AIR but unfortunately, it does not seem
>>available (you can check on However, the
>>report of this work is available as gdoc documents, you have to
>>request access to it, links to ask are located on page [2]. Also, Joel
>>may have more information about the status of the 2011 GSOC project
>>related to this topic.
>>Hope that helps,
>>rtems-users mailing list
>>rtems-users at
> --
> Joel Sherrill, Ph.D.             Director of Research&  Development
> joel.sherrill at        On-Line Applications Research
> Ask me about RTEMS: a free RTOS  Huntsville AL 35805
>     Support Available             (256) 722-9985
> _______________________________________________
> rtems-users mailing list
> rtems-users at

More information about the users mailing list