From owner-freebsd-hackers@FreeBSD.ORG  Thu May 11 10:26:24 2006
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
X-Original-To: freebsd-hackers@freebsd.org
Delivered-To: freebsd-hackers@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 6F7C916A45F
	for <freebsd-hackers@freebsd.org>; Thu, 11 May 2006 10:26:24 +0000 (UTC)
	(envelope-from joseph.koshy@gmail.com)
Received: from wx-out-0102.google.com (wx-out-0102.google.com [66.249.82.204])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 31ECD43D66
	for <freebsd-hackers@freebsd.org>; Thu, 11 May 2006 10:26:15 +0000 (GMT)
	(envelope-from joseph.koshy@gmail.com)
Received: by wx-out-0102.google.com with SMTP id t13so101866wxc
	for <freebsd-hackers@freebsd.org>; Thu, 11 May 2006 03:26:15 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com;
	h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
	b=S9sk9VHaaNSJWOo3tZ5DFaTAzMO5qdM1XK+8to3CldtVvUi6+QMfRWtfbjoA3dtgaP+m/vIeAmpzSM+jdFE1J9OrJ73wXLo0cQzBzMO4sPEwf4N/386yZC4VPy0TqBLzMoGC7EtBtd6NQZ2EraLb4NpPVxxOD/Hhi9SN18NVLjw=
Received: by 10.70.110.4 with SMTP id i4mr920103wxc;
	Thu, 11 May 2006 03:26:15 -0700 (PDT)
Received: by 10.70.117.13 with HTTP; Thu, 11 May 2006 03:26:15 -0700 (PDT)
Message-ID: <84dead720605110326t27ccc07ega07bbfae05fb2d3c@mail.gmail.com>
Date: Thu, 11 May 2006 15:56:15 +0530
From: "Joseph Koshy" <joseph.koshy@gmail.com>
To: "R. Tyler Ballance" <tyler@tamu.edu>
In-Reply-To: <923FBA2F-24D6-4134-B349-A92666CC6F97@tamu.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
Content-Disposition: inline
References: <923FBA2F-24D6-4134-B349-A92666CC6F97@tamu.edu>
Cc: FreeBSD Hackers <freebsd-hackers@freebsd.org>
Subject: Re: Xnu, and 'L4BSD'
X-BeenThere: freebsd-hackers@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Technical Discussions relating to FreeBSD
	<freebsd-hackers.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>, 
	<mailto:freebsd-hackers-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-hackers>
List-Post: <mailto:freebsd-hackers@freebsd.org>
List-Help: <mailto:freebsd-hackers-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-hackers>,
	<mailto:freebsd-hackers-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Thu, 11 May 2006 10:26:24 -0000

> L4Linux exists, but it seems to be more of a means for testing out
> and developing the L4 microkernel, but would there be any practical
> reason to sandbox the FreeBSD kernel and force it to run as a user-
> land service on top of the L4::Pistachio kernel? (for example)

Well, you could do neat stuff like migrating VMs between machines
'on-the-fly', as described in the following paper:
 http://www.cl.cam.ac.uk/Research/SRG/netos/papers/2005-migration-nsdi-pre.=
pdf

Also, L4::Pistachio is BSD-licensed.

--=20
FreeBSD Developer,     http://people.freebsd.org/~jkoshy