Message-ID: <40744481.7050002@virginia.edu>
Date: Wed, 07 Apr 2004 14:12:17 -0400
From: Aaron Smith <aws4y@virginia.edu>
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113
MIME-Version: 1.0
To: linux-kernel@vger.kernel.org
Subject: Re: Rewrite Kernel
References: <20040407125406.209FC39834A@ws5-1.us4.outblaze.com> <1081348038.5049.6.camel@redeeman.linux.dk> <200404071455.i37EtOn8000182@81-2-122-30.bradfords.org.uk> <20040407150516.GC23517@marowsky-bree.de>
In-Reply-To: <20040407150516.GC23517@marowsky-bree.de>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1188
Lines: 29

Lars Marowsky-Bree wrote:

>Guys, gals,
>
>you are all missing the point.
>
>It is obvious that what we really need is a hand-optimized in-kernel
>core LISP machine written in >i386 assembly, then we need to port the
>rest of the kernel to run as LISP bytecode on top of that in ring1 (in
>particular the security policies).
>
>Of course, important privileged user-space such as glibc should be
>ported to this highly efficient non-recursive LISP machine too for
>efficiency and run on ring 2 for speed and security.
>  
>
What you are talking about is a LISP machine micro-kernel in Ring0 which 
sort of defeats the whole point of Linux being monolithic kernel. Also 
couldn't we just run HURD, or for that matter EMACS ;-), as a kernel. I, 
personally have come around to Linus point of view on the whole 
micro-kernel thing so I don't see much of a advantage to this, as there 
are other micro kernel projects ( HURD, Darwin/*BSD?).

-Aaron
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/