[MLton-devel] Kernel Mode Linux

Mon, 29 Apr 2002 09:33:15 -0700

--t6U7WOAGOQ
Content-Type: text/plain; charset=us-ascii
Content-Description: message body text
Content-Transfer-Encoding: 7bit

In case you guys didn't see this.  It shouldn't be too hard for us to
target this, right?

--t6U7WOAGOQ
Content-Type: message/rfc822
Content-Description: forwarded message
Content-Transfer-Encoding: 7bit

Return-path: <types-errors@cis.upenn.edu>
Received: from pop3-sjc.bbnow.net [24.219.4.120]
	by localhost with POP3 (fetchmail-5.7.4)
	for sweeks@localhost (single-drop); Mon, 29 Apr 2002 07:32:58 -0700 (PDT)
Received: from i3s.net (unverified [24.219.4.129]) by i3s.net
 (Rockliffe SMTPRA 4.5.4) with ESMTP id <B0002610113@i3s.net> for <sweeks@bbnow.net>;
 Mon, 29 Apr 2002 09:29:38 -0500
Received: from mail.san.yahoo.com (unverified [209.132.1.30]) by i3s.net
 (Rockliffe SMTPRA 4.5.4) with ESMTP id <B0001107512@i3s.net> for <sweeks@bbnow.net>;
 Mon, 29 Apr 2002 09:29:38 -0500
Received: from mail.acm.org (199.222.69.4) by mail.san.yahoo.com (6.5.017.1)
        id 3CA368D1008E6F0C for sweeks@bbnow.net; Mon, 29 Apr 2002 07:30:02 -0700
Received: from linc.cis.upenn.edu (LINC.CIS.UPENN.EDU [158.130.8.3])
	by mail.acm.org (8.9.3/8.9.3) with ESMTP id KAA48820;
	Mon, 29 Apr 2002 10:27:11 -0400
Received: from central.cis.upenn.edu (root@CENTRAL.CIS.UPENN.EDU [158.130.12.2])
	by linc.cis.upenn.edu (8.10.1/8.10.1) with ESMTP id g3TEDCT17929
	for <types-distrib1@linc.cis.upenn.edu>; Mon, 29 Apr 2002 10:13:12 -0400 (EDT)
Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4])
	by central.cis.upenn.edu (8.12.2/8.12.2) with ESMTP id g3TEDAWo015756
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <types-distrib1@cis.upenn.edu>; Mon, 29 Apr 2002 10:13:11 -0400 (EDT)
Received: from saul.cis.upenn.edu (localhost [127.0.0.1])
	by saul.cis.upenn.edu (8.12.2/8.12.2) with ESMTP id g3TED8mJ016389
	(version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
	for <types-distrib1@cis.upenn.edu>; Mon, 29 Apr 2002 10:13:09 -0400 (EDT)
Received: (from bcpierce@localhost)
	by saul.cis.upenn.edu (8.12.2/8.12.2/Submit) id g3TED8Li016386
	for types-distrib1@cis.upenn.edu; Mon, 29 Apr 2002 10:13:08 -0400 (EDT)
Message-Id: <200204291413.g3TED8Li016386@saul.cis.upenn.edu>
X-Authentication-Warning: saul.cis.upenn.edu: bcpierce set sender to types-errors@cis.upenn.edu using -f
Received: from linc.cis.upenn.edu (LINC3.CIS.UPENN.EDU [158.130.12.3])
	by saul.cis.upenn.edu (8.12.2/8.12.2) with ESMTP id g3TBP6mI010857
	for <bcpierce@saul.cis.upenn.edu>; Mon, 29 Apr 2002 07:25:06 -0400 (EDT)
Received: from central.cis.upenn.edu (root@CENTRAL.CIS.UPENN.EDU [158.130.12.2])
	by linc.cis.upenn.edu (8.10.1/8.10.1) with ESMTP id g3TBP5T11497
	for <types@linc.cis.upenn.edu>; Mon, 29 Apr 2002 07:25:05 -0400 (EDT)
Received: from dynabooK (210.238.31.227.tcn-catv.ne.jp [210.238.31.227])
	by central.cis.upenn.edu (8.12.2/8.12.2) with ESMTP id g3TBP3Wn014129
	for <types@cis.upenn.edu>; Mon, 29 Apr 2002 07:25:04 -0400 (EDT)
Received: from dynabook
	([127.0.0.1] helo=localhost ident=sumii)
	by dynabooK with esmtp (Exim 3.12 #1 (Debian))
	id 1729HC-0004et-00; Mon, 29 Apr 2002 20:25:02 +0900
X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.1 (AOI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
X-Dispatcher: imput version 991025(IM133)
Lines: 34
X-Spam-Status: No, hits=-99.0 required=5.0 tests=DEAR_SOMEBODY,A_FROM_IN_AUTO_WLIST version=2.01
Errors-To: types-errors@cis.upenn.edu
From: Eijiro Sumii <sumii@yl.is.s.u-tokyo.ac.jp>
To: types@cis.upenn.edu
cc: sumii@yl.is.s.u-tokyo.ac.jp, tosh@is.s.u-tokyo.ac.jp
Subject: Kernel Mode Linux (KML)
Date: Mon, 29 Apr 2002 20:25:01 +0900

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

Dear Types readers,

We are pleased to announce the release of an alpha version of Kernel
Mode Linux (KML, in short) at:

    http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/

KML is not a joke.  Of course, Linux is an operating system kernel and
runs in the kernel mode, but KML enables even *user* programs to run
in the kernel mode.  Thus, those user programs have direct access to
the kernel, which is faster than ordinary system calls in an order of
magnitude.  Unlike kernel modules, KML allows standard mechanisms such
as preemptive process scheduling and paging to work as usual.

But isn't this dangerous?  Well, it depends.  As all of you know very
well, there are technologies to guarantee safety of programs without
depending on hardware protection, such as static typing, proof
carrying code, software fault isolation, etc.  We hope that KML will
be of use for people who want to apply those technologies to OS
kernels but don't have enough resources to hack them or develop one
from scratch.

Comments and questions are welcome.  In particular, if you have
complaints about the documentation, please tell us - it may not
improve otherwise!

Best regards,

    Toshiyuki Maeda
    Eijiro Sumii

P.S.  Unfortunately, KML doesn't work on the current version of VMware
because of a bug in VMware.  This bug is already reported to the
vendor, so it will hopefully be fixed in the near future.

--t6U7WOAGOQ--

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel