Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S263694AbUDGPRh (ORCPT ); Wed, 7 Apr 2004 11:17:37 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S263711AbUDGPRh (ORCPT ); Wed, 7 Apr 2004 11:17:37 -0400 Received: from 81-2-122-30.bradfords.org.uk ([81.2.122.30]:31616 "EHLO 81-2-122-30.bradfords.org.uk") by vger.kernel.org with ESMTP id S263694AbUDGPRg (ORCPT ); Wed, 7 Apr 2004 11:17:36 -0400 Date: Wed, 7 Apr 2004 16:21:24 +0100 From: John Bradford Message-Id: <200404071521.i37FLOUi000349@81-2-122-30.bradfords.org.uk> To: Lars Marowsky-Bree , LKML Mailinglist In-Reply-To: <20040407150516.GC23517@marowsky-bree.de> 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> Subject: Re: Rewrite Kernel Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 560 Lines: 13 > 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). ..or just pass init=/bin/emacs to your bootloader :-). John. - 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/