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


Ignore:
Timestamp:
04/27/13 21:12:51 (11 years ago)
Author:
Phipse
Comment:

/* Partitioned OS Kernel - POK */ services added

Legend:

Unmodified
Added
Removed
Modified

  • GSoC/2013/ParavirtualizationOfRTEMS

    v15 v16  
    66The [https://docs.google.com/document/d/10SWiyYg6WEeMdAeysyahbS6XK5QwyIMlUvAr4aFOyX4/edit Proposal] will be open for everyone, after the application deadline (May 3, 2013).
    77=  Partitioned OS Kernel - POK  =
    8 =  AADL  =
    98
    109
     10This paper explains POK in detail.
     11<ref>http://julien.gunnm.org/data/publications/article-dl11-osadl11.pdf</ref>
     12=  AADL  =
     13=  Services  =
     14
     15
     16 *  Time Management -> provides time related functions to partitions
     17 *  Fault Handling -> catches errors and calls handler of faulting partiton
     18 *  Inter-partiton communication -> explicitly defined during configuration, kernel supervised
    1119=  RTEMS  =
    1220