Hardware assisted embedded virtualization: Masterarbeit

Recent developments in embedded platforms and growing complexity of embedded applications have fathered certain functional demands for ex. security, portability etc. which virtualization techniques can efficiently address. Hardware manufacturers for embedded platforms have realized the benefits of virtualization and subsequently enhanced processor architecture to assist virtualization. In this thesis, we enhance FreeRTOS kernel for PowerPC architecture by utilizing the hardware support for virtualization in order to offer a virtualization platform for embedded applications. We design and implement microkernel components including hardware-enabled secure spatial partitioning. The outcome shows that hardware support for virtualization can offer efficient logical partitioning and improve security in embedded systems