os/doc
3
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Add the Fiasco.OC report.

Browse source 
Submitted by:	Ilya Bakulin <ilya _at_ bakulin _dot_ de>
Sponsored by:	The FreeBSD Foundation
This commit is contained in:
Glen Barber 2014-07-14 18:14:52 +00:00
parent e1cd64b82f
commit 34ca01b15d
Notes: svn2git 2020-12-08 03:00:23 +00:00 
svn path=/head/; revision=45293
1 changed files with 62 additions and 1 deletions

63
en_US.ISO8859-1/htdocs/news/status/report-2014-04-2014-06.xml
View file

@ -46,7 +46,7 @@
?> ?>
<p>Thanks to all the reporters for the excellent work! This <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 <p>The deadline for submissions covering between July and
September 2014 is October 7th, 2014.</p> September 2014 is October 7th, 2014.</p>
@ -1014,4 +1014,65 @@
<help></help> <help></help>
</project> </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> </report>