From 793cbff1f610bbd6420b8b10856ea1a1a71a3655 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 17 Jan 2012 12:45:02 +0100 Subject: [PATCH] Use correct name of the HelenOS kernel (SPARTAN) --- doc/challenges.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/challenges.txt b/doc/challenges.txt index 655b3fe44..2ddbf2a38 100644 --- a/doc/challenges.txt +++ b/doc/challenges.txt @@ -395,16 +395,16 @@ Platforms provided by the [http://genode-labs.com/products/fpga-graphics - Genode FPGA graphics project]. -:Support for the HelenOS/Spark kernel: +:Support for the HelenOS/SPARTAN kernel: [http://www.helenos.org - HelenOS] is a microkernel-based multi-server OS - developed at the university of Prague. It is based on the Spark microkernel, + developed at the university of Prague. It is based on the SPARTAN microkernel, which runs on a wide variety of CPU architectures including Sparc, MIPS, and - PowerPC. This broad platform support makes Spark an interesting kernel to - look at alone. But a further motivation is the fact that Spark does not + PowerPC. This broad platform support makes SPARTAN an interesting kernel to + look at alone. But a further motivation is the fact that SPARTAN does not follow the classical L4 road, providing a kernel API that comes with an own terminology and different kernel primitives. This makes the mapping of - Spark's kernel API to Genode a challenging endeavour and would provide us + SPARTAN's kernel API to Genode a challenging endeavour and would provide us with feedback regarding the universality of Genode's internal interfaces. Finally, this project has the potential to ignite a further collaboration between the HelenOS and Genode communities.