From mint-bounce@lists.fishpool.fi Thu Dec 23 00:45:06 2004 X-Original-To: fnaumann@mail.boerde.de Delivered-To: fnaumann@mail.boerde.de From: Henk Robbers To: mint@fishpool.com Subject: Re: [MiNT] Kernel modules idea Date: Thu, 23 Dec 2004 00:16:35 +0100 User-Agent: KMail/1.5.1 References: <41C7EFA5.6080404@gabo.pl> <41C80CFC.60203@gabo.pl> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200412230016.35980.h.robbers@chello.nl> X-ecartis-version: Ecartis v1.0.0 Sender: mint-bounce@lists.fishpool.fi Errors-To: mint-bounce@lists.fishpool.fi X-original-sender: h.robbers@chello.nl Precedence: bulk List-help: List-unsubscribe: List-Id: X-List-ID: X-Virus-Scanned: by amavisd-new at relay.boerde.de X-Spam-Checker-Version: SpamAssassin 2.63 (2004-01-11) on relay.boerde.de X-Spam-Status: No, hits=2.7 tagged_above=-50.5 required=3.8 tests=AWL, BAYES_00, RCVD_IN_SORBS X-Spam-Level: ** On Tuesday 21 December 2004 13:13, Frank Naumann wrote: > Btw. do you know the german slang: > > Computers solve problems that we didn't have without them. > Because computers cause many more problems then they can ever solve ? :-) Frank is correct. Kernel code whether part of a module or not must be trusted. If not trustworthy it must crash as soon as possible, before any more harm is done. Especially because the faulty code can damage anything it can access, including recovery code (if there ;-) or the code that tries to inform the user. The guys who wrote the bomb display code in TOS were nice, but also a little bit naive. Theory says that it is impossible to prove whether a program is correct. This certainly doesnt mean that there are no correct programs or that it is impossible to create one. It is amazing how many programs actually work correctly all the time. -- Groeten; Regards. Henk Robbers. mailto:h.robbers@chello.nl http://members.ams.chello.nl/h.robbers/Home.html Interactive disassembler: TT-Digger; http://digger.atari.org A Home Cooked teXt editor: AHCX