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

Timestamp:

09/18/13 18:35:18 (11 years ago)

Author:

Phipse

Comment:

L4Re as a hypervisor to RTEMS

GSoC/2013/ParavirtualizationOfRTEMS

@@ -440 +440 @@
 For instance a time_warp function for the clock interrupt is needed.
 Claudio da Silva has provided one [https://gist.github.com/cdcs/5874932 here].
+
+=  More Hypervisors (L4Re) =
+
+
+The concept of the virtualization layer should be portable. 
+I write should be, because I haven't tested it.
+From my point of view, it should be an easy task to port the virtualpok BSP to L4Re.
+L4Re provides a full vCPU interface and library functions to control it. 
+Compared to POK this is heaven.
+
+In 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. .
+This approach required the RTEMS binary to be analysed at compile-time of the L4Re application.
+Also RTEMS was modified. Back then I introduced a new CPU target called l4vcpu, which was mostly a copy of the i386 CPU target. 
+The L4RTEMS project can be found on [https://github.com/phipse/L4RTEMS github]
+
+With the virtualization layer this changes.
+RTEMS needs a library provided by L4Re to compile and then the binary can be loaded the same way.
+So it doesn't need to be present at compile time. 
+Furthermore, it we should be able to reuse the virtualpok BSP, provided we replace libpart.a with a library provided by L4Re.
+
 =  References  =