From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,216b18d81cce4f75 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-07-05 14:41:36 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!148.122.208.68!news2.oke.nextra.no!nextra.com!news1.oke.nextra.no.POSTED!not-for-mail Message-ID: <3B44DE29.3965C359@online.no> From: "Tarjei Tj�stheim Jensen" Organization: Jensen programvareutvikling X-Mailer: Mozilla 4.04 [en] (OS/2; I) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada Microkernel? References: <3B183CB8.3EE396E7@engineer.com><_M3S6.8957$HL5.1284411@news6-win.server.ntlworld.com><8DKS6.27593$%_1.4657414@news2-win.server.ntlworld.com><0daV6.9332$6d5.1953313@news2-win.server.ntlworld.com> <3B34AE89.FFBE39EF@ebox.tninet.se> <9heq45$j9f$1@wanadoo.fr> <3B3B6F8F.EAA0F196@online.no> <9hp6rb$6t2@news.kvaerner.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit NNTP-Posting-Host: 130.67.225.80 X-Complaints-To: news-abuse@nextra.no NNTP-Posting-Date: Thu, 05 Jul 2001 23:41:28 MET DST X-Trace: readme.online.no 994369288 130.67.225.80 Date: Thu, 05 Jul 2001 22:37:45 +0100 Xref: archiver1.google.com comp.lang.ada:9499 Date: 2001-07-05T22:37:45+01:00 List-Id: Ted Dennison wrote: > Don't device drivers have to be loaded from a device *after* the boot process > has begun? Perhaps what I'm thinking of is a bootloader issue... The boot can be done using the BIOS or similar services. Once you start executing the kernel, you have to have som device drivers ready. In the initial phase one does not need many drivers because one assumes that one is booting from a disk device of some sort. Later on it is another matter. Greetings,