From owner-freebsd-arch@FreeBSD.ORG  Sun Aug 17 21:27:10 2003
Return-Path: <owner-freebsd-arch@FreeBSD.ORG>
Delivered-To: freebsd-arch@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 2969F37B401
	for <freebsd-arch@freebsd.org>; Sun, 17 Aug 2003 21:27:10 -0700 (PDT)
Received: from web13404.mail.yahoo.com (web13404.mail.yahoo.com
	[216.136.175.62])
	by mx1.FreeBSD.org (Postfix) with SMTP id CB02F43F85
	for <freebsd-arch@freebsd.org>; Sun, 17 Aug 2003 21:27:09 -0700 (PDT)
	(envelope-from giffunip@yahoo.com)
Message-ID: <20030818042709.62687.qmail@web13404.mail.yahoo.com>
Received: from [200.91.194.43] by web13404.mail.yahoo.com via HTTP;
	Mon, 18 Aug 2003 05:27:09 BST
Date: Mon, 18 Aug 2003 05:27:09 +0100 (BST)
From: "=?iso-8859-1?q?Pedro=20F.=20Giffuni?=" <giffunip@yahoo.com>
To: Nicolas Souchu <nsouch@free.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
cc: freebsd-arch@freebsd.org
Subject: Re: Loadable VM pager
X-BeenThere: freebsd-arch@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussion related to FreeBSD architecture
	<freebsd-arch.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
	<mailto:freebsd-arch-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arch>
List-Post: <mailto:freebsd-arch@freebsd.org>
List-Help: <mailto:freebsd-arch-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arch>,
	<mailto:freebsd-arch-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 18 Aug 2003 04:27:10 -0000

Hi;

FWIW, I just wanted to mention... perhaps the only OS that has made all of it's
components loadable in a similar way is SPIN:

http://www.cs.washington.edu/research/projects/spin/www/

I understand they did it to take advantage of Modula's features (strict OO)
that provided better security.

cheers,

   Pedro.


________________________________________________________________________
Want to chat instantly with your online friends?  Get the FREE Yahoo!
Messenger http://uk.messenger.yahoo.com/