Date: Mon, 14 Jul 2014 18:14:52 +0000 (UTC) From: Glen Barber <gjb@FreeBSD.org> To: doc-committers@freebsd.org, svn-doc-all@freebsd.org, svn-doc-head@freebsd.org Subject: svn commit: r45293 - head/en_US.ISO8859-1/htdocs/news/status Message-ID: <201407141814.s6EIEq6J009131@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201407141814.s6EIEq6J009131>