From owner-freebsd-chat Sun Jul 14 08:49:22 1996 Return-Path: owner-chat Received: (from root@localhost) by freefall.freebsd.org (8.7.5/8.7.3) id IAA13329 for chat-outgoing; Sun, 14 Jul 1996 08:49:22 -0700 (PDT) Received: from mailhost.coppe.ufrj.br (root@cisigw.coppe.ufrj.br [146.164.2.31]) by freefall.freebsd.org (8.7.5/8.7.3) with ESMTP id IAA13267; Sun, 14 Jul 1996 08:49:11 -0700 (PDT) Received: (from jonny@localhost) by mailhost.coppe.ufrj.br (8.7.5/8.7.3) id MAA19290; Sun, 14 Jul 1996 12:48:16 -0300 (EST) From: Joao Carlos Mendes Luis Message-Id: <199607141548.MAA19290@mailhost.coppe.ufrj.br> Subject: Re: Preach it (was Some recent changes to GENERIC) To: joerg_wunsch@uriah.heep.sax.de Date: Sun, 14 Jul 1996 12:48:16 -0300 (EST) Cc: freebsd-chat@freebsd.org, pjchilds@imforei.apana.org.au, terry@lambert.org, phk@freebsd.org In-Reply-To: <199607130802.KAA22896@uriah.heep.sax.de> from J Wunsch at "Jul 13, 96 10:02:26 am" X-Mailer: ELM [version 2.4ME+ PL14 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: owner-chat@freebsd.org X-Loop: FreeBSD.org Precedence: bulk #define quoting(J Wunsch) // As Poul-Henning Kamp wrote: // // > I agree, how about this for a revolution: // > // > I have this idea about putting tcl in the kernel. I can imagine some // > rather interesting possibilities this would give us. // // Ah, this is the so-called ``kitchen-sink'' kernel then! I was thinking about a completely different opioin this week. What if the config program could make the kernel something like a microkernel ? For example, suppose I want to build an embedded BSD (in EPROM) just to make some kind of industrial process control. I would not need lots of things. For example: SWAP, FS support (MFS and/or NFS only !), networking, console, and maybe even some system calls could disappear. I have a friend making some tests on this and he cannot make something less than 300K for the kernel. It' still too much for such an application. Just an idea, of course... :) Jonny -- Joao Carlos Mendes Luis jonny@gta.ufrj.br +55 21 290-4698 ( Job ) jonny@cisi.coppe.ufrj.br Network Manager UFRJ/COPPE/CISI Universidade Federal do Rio de Janeiro