svn commit: r45293 - head/en_US.ISO8859-1/htdocs/news/status

Mon Jul 14 18:14:53 UTC 2014

Author: gjb
Date: Mon Jul 14 18:14:52 2014
New Revision: 45293
URL: http://svnweb.freebsd.org/changeset/doc/45293

Log:
  Add the Fiasco.OC report.
  
  Submitted by:	Ilya Bakulin <ilya _at_ bakulin _dot_ de>
  Sponsored by:	The FreeBSD Foundation

Modified:
  head/en_US.ISO8859-1/htdocs/news/status/report-2014-04-2014-06.xml

Modified: head/en_US.ISO8859-1/htdocs/news/status/report-2014-04-2014-06.xml
==============================================================================

--- head/en_US.ISO8859-1/htdocs/news/status/report-2014-04-2014-06.xml	Mon Jul 14 16:39:35 2014	(r45292)
+++ head/en_US.ISO8859-1/htdocs/news/status/report-2014-04-2014-06.xml	Mon Jul 14 18:14:52 2014	(r45293)
@@ -46,7 +46,7 @@
     ?>
 
     <p>Thanks to all the reporters for the excellent work!  This
-      report contains 11 entries and we hope you enjoy reading it.</p>
+      report contains 13 entries and we hope you enjoy reading it.</p>
 
     <p>The deadline for submissions covering between July and
       September 2014 is October 7th, 2014.</p>
@@ -1014,4 +1014,65 @@
 
     <help></help>
   </project>
+
+  <project cat='kern'>
+    <title>Running &os; as an application on top of Fiasco.OC
+      microkernel</title>
+
+    <contact>
+      <person>
+	<name>
+	  <given>Ilya</given>
+	  <common>Bakulin</common>
+	</name>
+	<email>ilya at bakulin.de</email>
+      </person>
+    </contact>
+
+    <links>
+      <url href="http://en.wikipedia.org/wiki/L4_microkernel_family">L4
+	microkernel family</url>
+      <url href="https://wiki.freebsd.org/201407DevSummit/BSDUserspace">A
+	brief description of the project on the &os; wiki (short talk
+	during &os; DevSummit in Cambridge)</url>
+    </links>
+
+    <body>
+      <p>Fiasco.OC belongs to the L4 microkernel family. A microkernel
+	provides a bare minimum of services to the applications
+	running on top of it, unlike traditional kernels that
+	incorporate a complex code like IP stacks and device drivers.
+	This allows to dramatically decrease the amount of code
+	running in the privileged mode of the CPU, achieving higher
+	security while still providing an acceptable level of
+	performance.</p>
+
+      <p>Running an operating system kernel on top of the microkernel
+	allows to leverage any software that was developed for that
+	operating system. The OS kernel runs in user-mode side-by-side
+	with other microkernel applications such as real-time
+	components. Multiple OSes, each with their userland
+	applications, may be even run in parallel, thus allowing to
+	build the products where processing of corporate data is
+	strictly separated from the processing of private data.</p>
+
+      <p>The project aims to create a port of &os; to Fiasco.OC
+	microkernel, which is a high performance L4 microkernel
+	developed by TU Dresden. The existing ports of OpenBSD and
+	Linux are used as a reference. This will allow to use the
+	unique &os; features like ZFS in L4-based projects.</p>
+    </body>
+
+    <help>
+      <task>Finish opensourcing the port of L4OpenBSD/amd64 made by
+	genua mbh. This is a work in progress.</task>
+
+      <task>Publish the sources of L4&os; port that is largely based
+	on the L4OpenBSD code.</task>
+
+      <task>Improve the port, the first task being adopting the
+	pmap(9) module to work with L4 microkernel memory allocation
+	services.</task>
+    </help>
+  </project>
 </report>
