Muen on ARM

Losli, David (2018) Muen on ARM. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

[thumbnail of HS 2018 2019-BA-EP-Loosli-Portierung des Muen Separation Kernel auf die ARMv8 Architek.pdf] Text
HS 2018 2019-BA-EP-Loosli-Portierung des Muen Separation Kernel auf die ARMv8 Architek.pdf - Supplemental Material

Download (7MB)


The Muen Separation Kernel (SK) is a specialised microkernel developed as a platform for high-security systems at the University of Applied Sciences Rapperswil (HSR). Muen ensures a strict and reliable isolation of components and separates security critical functions against unreliable software running on the same physical system. The programming language SPARK 2014 is used to achieve a partic- ularly high degree of trustworthiness. The Muen SK was developed specifically for the Intel x86/64 architecture and uses the Intel VT-x and VT-d technology to separate the components.

This bachelor thesis implements the main building blocks of a separation kernel for the ARMv8-A archi- tecture, leveraging in particular the recently introduced AArch64 Virtualization Extensions. This prac- tical study builds on the findings of the Student Research Study „Muen on ARM - an Evaluation“also written by the author of this paper that investigated the theoretical and practical aspects of porting the Muen SK to the ARMv8-A architecture. The target hardware platform chosen for this study is the NXP LS1012A FRDM Board.

Item Type: Thesis (Bachelor)
Subjects: Topics > Software > Testing and Simulation
Topics > Security
Technologies > Virtualization
Technologies > Virtualization > XEN
Technologies > Virtualization > KVM
Divisions: Bachelor of Science FHO in Informatik > Bachelor Thesis
Depositing User: OST Deposit User
Thesis advisor
Steffen, Andreas
Date Deposited: 26 Mar 2019 06:45
Last Modified: 25 Jan 2023 12:55

Actions (login required)

View Item
View Item