From: Paul de Vrieze <pauldv@cs.kun.nl>
To: Moritz Schulte <moritz@duesseldorf.ccc.de>
Cc: gentoo-dev@gentoo.org
Subject: Re: [gentoo-dev] Proper Gentoo Name (was License criteria for Gentoo)
Date: Thu, 26 Sep 2002 09:21:29 +0200 [thread overview]
Message-ID: <200209260921.29731.pauldv@cs.kun.nl> (raw)
In-Reply-To: <87it0thnfy.fsf@fnord.sc>
On Wednesday 25 September 2002 21:35, Moritz Schulte wrote:
> Paul de Vrieze <pauldv@cs.kun.nl> writes:
> > Well the kernel is that police agent. The kernel "polices" a variety
> > of devices including: [...]
>
> Just as a side note: what you describe is how it was done in Unix;
> it's not the only way. For instance, the L4 microkernel contains
> almost no hardware drivers at all. Hardware drivers have to be
> implemented as L4 tasks, which do not run in kernel space. One of the
> main jobs of the kernel is than to translate interrupts into IPC
> messages, which are sent to the user space hardware drivers.
>
> moritz
The thing is, even when using a micro kernel, the microkernel grants EXCLUSIVE
access to a hardware driver. So the kernel in the broad sense of the word
(including the userspace drivers) can still not be replaced.
Paul
--
Paul de Vrieze
Junior Researcher
Mail: pauldv@cs.kun.nl
Homepage: http://www.devrieze.net
next prev parent reply other threads:[~2002-09-26 7:21 UTC|newest]
Thread overview: 72+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-22 15:55 [gentoo-dev] License criteria for Gentoo Richard Stallman
2002-09-22 21:34 ` Mikko Moilanen
2002-09-22 21:51 ` Peter Ruskin
2002-09-24 17:05 ` Mikko Moilanen
2002-09-22 21:59 ` Evan Read
2002-09-22 22:28 ` Christian Axelsson
2002-09-23 1:21 ` mike
2002-09-23 4:00 ` Mark Bainter
2002-09-24 10:19 ` Thomas M. Beaudry
2002-09-24 10:42 ` Moritz Schulte
2002-09-24 12:24 ` Mark Bainter
2002-09-24 13:50 ` Christophe Vanfleteren
2002-09-24 14:23 ` Mark Bainter
2002-09-24 14:49 ` Moritz Schulte
2002-09-23 4:20 ` Greg Corcoran
2002-09-23 0:42 ` Mark Guertin
2002-09-23 7:25 ` Evan Read
2002-09-24 10:30 ` Thomas M. Beaudry
2002-09-24 10:49 ` Moritz Schulte
2002-09-24 11:37 ` Kevyn Shortell
2002-09-24 12:03 ` Cal Evans
2002-09-24 12:35 ` Moritz Schulte
2002-09-24 14:19 ` Mark Bainter
2002-09-24 14:49 ` Moritz Schulte
2002-09-24 15:15 ` Mark Bainter
2002-09-24 16:10 ` Moritz Schulte
2002-09-24 16:24 ` Mikko Moilanen
2018-09-25 10:03 ` Karan
2002-09-25 0:58 ` [gentoo-dev] ANN: Proposed Fix for Gentoo (GNU/)Linux Issue Drew Whittle
2002-09-25 7:08 ` [gentoo-dev] License criteria for Gentoo Henti Smith
2002-09-25 10:12 ` Moritz Schulte
2002-09-24 22:27 ` Greg Corcoran
2002-09-24 22:50 ` Kevyn Shortell
2002-09-25 5:56 ` Moritz Schulte
2002-09-25 6:33 ` Kevyn Shortell
2002-09-25 10:09 ` Moritz Schulte
2002-09-26 0:12 ` Greg Corcoran
2002-09-25 10:03 ` Giulio Eulisse
2002-09-25 8:47 ` Paul de Vrieze
2002-09-25 10:21 ` Moritz Schulte
2002-09-25 11:35 ` Paul de Vrieze
2002-09-25 11:58 ` [gentoo-dev] Proper Gentoo Name (was License criteria for Gentoo) Greg Corcoran
2002-09-25 12:12 ` Mark Bainter
2002-09-25 12:26 ` Paul de Vrieze
2002-09-25 13:04 ` Moritz Schulte
2002-09-25 13:44 ` Paul de Vrieze
2002-09-25 14:29 ` Moritz Schulte
2002-09-25 18:37 ` Paul de Vrieze
2002-09-25 14:09 ` [gentoo-dev] /usr/portage/distfiles/ name collisions Chris Bainbridge
2002-09-25 14:29 ` Bart Verwilst
2002-09-25 14:55 ` Chris Bainbridge
2002-09-25 12:53 ` [gentoo-dev] Re: Proper Gentoo Name (was License criteria for Gentoo) Moritz Schulte
2002-09-25 13:38 ` Greg Corcoran
2002-09-25 14:01 ` [gentoo-dev] " wes chow
2002-09-25 14:17 ` Moritz Schulte
2002-09-25 14:09 ` wes chow
2002-09-25 19:07 ` Paul de Vrieze
2002-09-26 1:45 ` Evan Read
2002-09-25 19:05 ` Paul de Vrieze
2002-09-25 19:35 ` Moritz Schulte
2002-09-26 7:21 ` Paul de Vrieze [this message]
2002-09-25 19:57 ` wes chow
2002-09-26 7:23 ` Paul de Vrieze
2002-09-26 14:32 ` Mark Guertin
2002-09-26 18:25 ` Paul de Vrieze
2002-09-23 7:47 ` [gentoo-dev] License criteria for Gentoo Benj
2002-09-23 13:21 ` Moritz Schulte
2002-09-24 19:53 ` Spider
2002-09-24 21:03 ` Kevyn Shortell
2002-09-24 22:29 ` Moritz Schulte
2002-09-25 0:21 ` Ryan Shaw
2002-09-25 0:29 ` Kevyn Shortell
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=200209260921.29731.pauldv@cs.kun.nl \
--to=pauldv@cs.kun.nl \
--cc=gentoo-dev@gentoo.org \
--cc=moritz@duesseldorf.ccc.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox