www. O S N E W S .com
News Features Interviews
BlogContact Editorials

Porting Hyperkernel to the ARM architecture
By Thom Holwerda on 2018-09-12 19:29:16

This work describes the porting of Hyperkernel, an x86 kernel, to the ARMv8-A architecture. Hyperkernel was created to demonstrate various OS design decisions that are amenable to push-button verification. Hyperkernel simplifies reasoning about virtual memory by separating the kernel and user address spaces. In addition, Hyperkernel adopts an exokernel design to minimize code complexity, and thus its required proof burden. Both of Hyperkernel's design choices are accomplished through the use of x86 virtualization support. After developing an x86 prototype, advantageous design differences between x86 and ARM motivated us to port Hyperkernel to the ARMv8-A architecture. We explored these differences and benchmarked aspects of the new interface Hyperkernel provides on ARM to demonstrate that the ARM version of Hyperkernel should be explored further in the future. We also outline the ARMv8-A architecture and the various design challenges overcome to fit Hyperkernel within the ARM programming model.

1  Comments - Printer friendly - Related stories
Recent related stories
- PC/GEOS source code released under Apache 2.0 license - 2018-12-04
- McKernel: a light-weight multi-kernel operating system - 2018-11-28
- Xformer 10 released: Atari 8-bit emulator for Windows - 2018-11-20
- The Interim Operating System - 2018-10-13
- The benefits and costs of writing a POSIX kernel in Go - 2018-10-08
- More related articles
 

Tell a friend
Your full name:
Your email address:
Your friend's email:
Anti-spam measure:
5+2=

News Features Interviews
BlogContact Editorials


WAP site - RSS feed
© OSNews LLC 1997-2007. All Rights Reserved.
The readers' comments are owned and a responsibility of whoever posted them.
Prefer the desktop version of OSNews?