Differences

This shows you the differences between two versions of the page.

--- devsummit:201407:bsduserspace [2014/07/14 15:37] – IlyaBakulin
+++ devsummit:201407:bsduserspace [2021/04/25 07:12] (current) – Move to DevSummit namespace. JethroNederhof
@@ Line 3: / Line 3: @@
   * Smartphones (Simko-3 -- Deutsche Telecom), laptops (genua mbh)
   * Existing implementations: Fiasco/OC + L4RE (Opensource, GPL, amd64 and arm), seL4 (soon-to-be-opensourced)
-  * Existing ports: [[/L4Linux|L4Linux]], [[/L4Android|L4Android]], L4OpenBSD (public development stalled)
+  * Existing ports: %%L4Linux%%, %%L4Android%%, L4OpenBSD (public development stalled)
 The idea is to run the %%FreeBSD%% kernel as an L4 userland application -- this will allow, for example, to use %%FreeBSD%%'s features like GEOM, fast IP stack, ZFS as L4 services.
 Implementation requires certain modifications of the %%FreeBSD%% kernel. genua mbh is going to opensource the modifications to L4OpenBSD port that are used internally, this will greatly help to make a port of %%FreeBSD%%.
+The existing port for %%OpenBSD%% is [[https://github.com/chrissicool/l4openbsd/commits/master|here]], although it is 32-bit only and for the older %%OpenBSD%% version. genua mbh is going to opensource its changes, details will follow later.
 Currently I have some progress on it, but I cannot make my changes public.
+----
+{{tag>Historical}}