L4Env DDE questions
doebel at os.inf.tu-dresden.de
Mon Jan 29 22:41:31 CET 2007
-----BEGIN PGP SIGNED MESSAGE-----
> When Linux drivers are reused, does everyone of these drivers run in its' own address space?
Basically, yes. Each device driver runs as a separate server in terms of
microkernel systems. It could also be possible to run multiple drivers in
one address space, though.
> Would "reused DDE" drivers still be isolated from one another?
I don't understand the question. What exactly do you mean?
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
More information about the l4-hackers