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

Sep 18, 2013, 6:35:18 PM (6 years ago)

L4Re as a hypervisor to RTEMS


  • GSoC/2013/ParavirtualizationOfRTEMS

    v44 v45  
    440440For instance a time_warp function for the clock interrupt is needed.
    441441Claudio da Silva has provided one [ here].
     443=  More Hypervisors (L4Re) =
     446The concept of the virtualization layer should be portable.
     447I write should be, because I haven't tested it.
     448From my point of view, it should be an easy task to port the virtualpok BSP to L4Re.
     449L4Re provides a full vCPU interface and library functions to control it.
     450Compared to POK this is heaven.
     452In my previous attempt to virtualize RTEMS on L4Re, before this project, I made L4Re load the RTEMS binary and then configure the vCPU to start at the binaries entry point, etc. .
     453This approach required the RTEMS binary to be analysed at compile-time of the L4Re application.
     454Also RTEMS was modified. Back then I introduced a new CPU target called l4vcpu, which was mostly a copy of the i386 CPU target.
     455The L4RTEMS project can be found on [ github]
     457With the virtualization layer this changes.
     458RTEMS needs a library provided by L4Re to compile and then the binary can be loaded the same way.
     459So it doesn't need to be present at compile time.
     460Furthermore, it we should be able to reuse the virtualpok BSP, provided we replace libpart.a with a library provided by L4Re.
    442462=  References  =