From owner-freebsd-hackers Mon Oct 5 10:25:23 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id KAA16250 for freebsd-hackers-outgoing; Mon, 5 Oct 1998 10:25:23 -0700 (PDT) (envelope-from owner-freebsd-hackers@FreeBSD.ORG) Received: from relay.esat.net (relay.esat.net [192.111.39.11]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id KAA16189 for ; Mon, 5 Oct 1998 10:24:54 -0700 (PDT) (envelope-from nialls@euristix.ie) Received: from (euristix.ie) [193.120.210.2] by relay.esat.net with esmtp id 0zQEMs-0004aQ-00; Mon, 5 Oct 1998 18:24:19 +0100 Received: by gateway.euristix.ie id <19713>; Mon, 5 Oct 1998 18:22:53 +0100 Message-Id: <98Oct5.182253bst.19713@gateway.euristix.ie> Date: Mon, 5 Oct 1998 17:02:10 +0100 From: Niall Smart X-Mailer: Mozilla 4.05 [en] (WinNT; I) MIME-Version: 1.0 To: hackers@FreeBSD.ORG Subject: MIT Exokernel OS Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG This looks interesting: MIT Exokernel Operating System An operating system is interposed between applications and the physical hardware. Therefore, its structure has a dramatic impact on the performance and the scope of applications that can be built on it. Since its inception, the field of operating systems has been attempting to identify an appropriate structure: previous attempts include the familiar monolithic and micro-kernel operating systems as well as more exotic language-based and virtual machine operating systems. Exokernels dramatically depart from this previous work. An exokernel eliminates the notion that an operating system should provide abstractions on which applications are built. Instead, it concentrates solely on securely multiplexing the raw hardware: from basic hardware primitives, application-level libraries and servers can directly implement traditional operating system abstractions, specialized for appropriateness and speed. http://www.pdos.lcs.mit.edu/exo/ Regards, Niall To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message