Gentoo Archives: gentoo-dev

From: Paul de Vrieze <pauldv@××××××.nl>
To: Moritz Schulte <moritz@×××××××××××××××.de>
Cc: gentoo-dev@g.o
Subject: Re: [gentoo-dev] Proper Gentoo Name (was License criteria for Gentoo)
Date: Thu, 26 Sep 2002 02:21:31
Message-Id: 200209260921.29731.pauldv@cs.kun.nl
In Reply to: Re: [gentoo-dev] Proper Gentoo Name (was License criteria for Gentoo) by Moritz Schulte
1 On Wednesday 25 September 2002 21:35, Moritz Schulte wrote:
2 > Paul de Vrieze <pauldv@××××××.nl> writes:
3 > > Well the kernel is that police agent. The kernel "polices" a variety
4 > > of devices including: [...]
5 >
6 > Just as a side note: what you describe is how it was done in Unix;
7 > it's not the only way. For instance, the L4 microkernel contains
8 > almost no hardware drivers at all. Hardware drivers have to be
9 > implemented as L4 tasks, which do not run in kernel space. One of the
10 > main jobs of the kernel is than to translate interrupts into IPC
11 > messages, which are sent to the user space hardware drivers.
12 >
13 > moritz
14
15 The thing is, even when using a micro kernel, the microkernel grants EXCLUSIVE
16 access to a hardware driver. So the kernel in the broad sense of the word
17 (including the userspace drivers) can still not be replaced.
18
19 Paul
20
21 --
22 Paul de Vrieze
23 Junior Researcher
24 Mail: pauldv@××××××.nl
25 Homepage: http://www.devrieze.net