Notice: We have migrated to GitLab launching 2024-05-01 see here: https://gitlab.rtems.org/

Changes between Version 45 and Version 46 of GSoC/2013/ParavirtualizationOfRTEMS


Ignore:
Timestamp:
09/19/13 17:30:50 (11 years ago)
Author:
Phipse
Comment:

Introduction

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2013/ParavirtualizationOfRTEMS

    v45 v46  
    22
    33
    4 The goal is to run RTEMS virtual on POK inside a software partition.
    5 
    6 The [https://docs.google.com/document/d/10SWiyYg6WEeMdAeysyahbS6XK5QwyIMlUvAr4aFOyX4/edit Proposal] will be open for everyone, after the application deadline (May 3, 2013).
    7 
    8 Up to date source code can be found in the branches of my fork of the RTEMS/rtems repo on [https://github.com/phipse/rtems github].
     4The project's goals were first, to introduce a virtualization layer into RTEMS, easing the virtualization of RTEMS across different hypervisors and second, to implement a proof of concept on POK.
     5POK is a partitioned operating system, separating applications in different software partitions from each other.
     6This is not exactly what one would call hypervisor, but as POK is ARINC 653 compliant and RTEMS is not, it would be a great benefit to become standard compliant this way.
     7
     8The first half of this page debates obstacles and solutions inside RTEMS and discuss shortly the approach in the project of the previous year.
     9The difficulties I was facing in POK weren't clear to me, when I was writing the proposal and discussing the design.
     10The second half of the page explains the implementation, difficulties, remaining work and future steps.
     11
     12The [https://docs.google.com/document/d/10SWiyYg6WEeMdAeysyahbS6XK5QwyIMlUvAr4aFOyX4/edit Project proposal] can be found on google docs.
     13
     14Up to date source code can be found in my [https://github.com/phipse/rtems rtems repo] in the ''virt-pok'' branch and in the [https://github.com/phipse/pok POK repo] on github.
    915=  Partitioned OS Kernel - POK  =
    1016
     
    4753 *  x86 (proof of concept)
    4854 *  Sparc
     55 *  PowerPC
    4956 *  ARM
    5057