Changes between Version 16 and Version 17 of GSoC/2013/ParavirtualizationOfRTEMS


Ignore:
Timestamp:
Apr 27, 2013, 9:13:54 PM (6 years ago)
Author:
Phipse
Comment:

/* Partitioned OS Kernel - POK */ Paper details

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2013/ParavirtualizationOfRTEMS

    v16 v17  
    99
    1010This paper explains POK in detail.
    11 <ref>http://julien.gunnm.org/data/publications/article-dl11-osadl11.pdf</ref>
     11<ref>J. Delange and Laurent Lec. POK, an ARINC653-compliant operating system released under the BSD license. In - 13th Real-Time Linux Workshop. http://julien.gunnm.org/data/publications/article-dl11-osadl11.pdf</ref>
    1212=  AADL  =
    1313=  Services  =