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.

 Email a friend - Printer friendly - Related stories
.
.
Comment by ssokolow
By ssokolow on 2018-09-12 20:58:31
Aside from the missing spaces, that quote has some "fi" ligatures that get mojibake'd by the interaction between OSNews's feed generation and my Thunderbird.

"x86kernel,totheARMv8-Aarch itecture."
"designdifferencesbetweenx8 6andARMmotivatedus"
"theARMv8-Aarchitectureandt hevariousdesignchallenges"
"verification"
"simplifies"
"overcome to fit"

Edited 2018-09-12 21:01 UTC
Permalink - Score: 2

No new comments are allowed for stories older than 10 days.
This story is now archived.

.
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?