Muen on ARM

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

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

Download (49MB) | Preview

Abstract

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
Creators:
CreatorsEmail
Losli, DavidUNSPECIFIED
Contributors:
ContributionNameEmail
Thesis advisorSteffen, AndreasUNSPECIFIED
Depositing User: HSR Deposit User
Date Deposited: 26 Mar 2019 06:45
Last Modified: 26 Mar 2019 06:45
URI: http://eprints.hsr.ch/id/eprint/729

Actions (login required)

View Item View Item