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

Timestamp:

04/27/13 21:13:54 (11 years ago)

Author:

Phipse

Comment:

/* Partitioned OS Kernel - POK */ Paper details

GSoC/2013/ParavirtualizationOfRTEMS

@@ -9 +9 @@
 
 This paper explains POK in detail.
-<ref>http://julien.gunnm.org/data/publications/article-dl11-osadl11.pdf</ref>
+<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>
 =  AADL  =
 =  Services  =