From 174fdb162fdcb7995460c7378a566e2eeb11f5b8 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 12 Mar 2015 12:22:15 +0100 Subject: [PATCH] News item for ARM virtualization article --- doc/news.txt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/doc/news.txt b/doc/news.txt index a186a047d4..a8c4355152 100644 --- a/doc/news.txt +++ b/doc/news.txt @@ -4,6 +4,24 @@ =========== +An in-depth look into the ARM virtualization extensions | 2015-03-12 +#################################################################### + +| Our new article explores the mechanisms of the ARM virtualization extensions +| and describes how Genode's custom base-hw kernel was turned into +| a microhypervisor. + +With the recently published +[http:/documentation/release-notes/15.02 - version 15.02], Genode received +support for ARM's virtualization extensions. While conducting this line +of work during the year of 2014, we took the chance to thoroughly document +the experience. The article "An in-depth look into the ARM virtualization +extensions" presents the overall virtualization architecture and goes into +detail about the virtualization of memory, CPU, interrupts, and time. +Furthermore, it covers a series of experiments with I/O protection mechanisms. +[http:/documentation/articles/arm_virtualization - Read the article...] + + Exercising the seL4 kernel interface | 2015-03-10 #################################################