Re: [MiNT] Kernel modules idea

[Henk Robbers <h.robbers@chello.nl>]

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