From owner-freebsd-hackers@FreeBSD.ORG  Thu May 22 10:00:04 2008
Return-Path: <owner-freebsd-hackers@FreeBSD.ORG>
Delivered-To: hackers@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id ADF4B1065670
	for <hackers@freebsd.org>; Thu, 22 May 2008 10:00:04 +0000 (UTC)
	(envelope-from frase@frase.id.au)
Received: from mail6.tpgi.com.au (smtp-out6.tpgi.com.au [220.244.226.116])
	by mx1.freebsd.org (Postfix) with ESMTP id 2685F8FC18
	for <hackers@freebsd.org>; Thu, 22 May 2008 10:00:03 +0000 (UTC)
	(envelope-from frase@frase.id.au)
X-TPG-Antivirus: Passed
Received: from [192.168.36.100] (203-219-142-174.static.tpgi.com.au
	[203.219.142.174])
	by mail6.tpgi.com.au (envelope-from frase@frase.id.au) (8.14.2/8.14.2)
	with ESMTP id m4M9mUs9026597; Thu, 22 May 2008 19:48:35 +1000
Message-ID: <48354169.9040905@frase.id.au>
Date: Thu, 22 May 2008 19:48:25 +1000
From: Fraser Tweedale <frase@frase.id.au>
User-Agent: Thunderbird 2.0.0.14 (X11/20080503)
MIME-Version: 1.0
To: "Wilkinson, Alex" <alex.wilkinson@dsto.defence.gov.au>
References: <20080522064319.GB98797@stlux503.dsto.defence.gov.au>
In-Reply-To: <20080522064319.GB98797@stlux503.dsto.defence.gov.au>
X-Enigmail-Version: 0.95.6
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature";
	boundary="------------enig373D18F9B5B0A09E5C1A8EC1"
Cc: hackers@freebsd.org
Subject: Re: A Tale of Four Kernels...
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, 22 May 2008 10:00:04 -0000

This is an OpenPGP/MIME signed message (RFC 2440 and 3156)
--------------enig373D18F9B5B0A09E5C1A8EC1
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: quoted-printable

Wilkinson, Alex wrote:
> Some may be interested in this.
> http://www.spinellis.gr/pubs/conf/2008-ICSE-4kernel/html/Spi08b.pdf
>=20
>  -aW

Interesting study; thanks for posting.

frase


--------------enig373D18F9B5B0A09E5C1A8EC1
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.9 (FreeBSD)

iEYEARECAAYFAkg1QW4ACgkQPw/2FZbemTWDwQCglyY1stxKxw8h4Cu88tkKzkVs
/xcAn0fxtQ7l4R50bElc2oIF684pyi0Y
=L7Ug
-----END PGP SIGNATURE-----

--------------enig373D18F9B5B0A09E5C1A8EC1--