L4Env DDE questions

[Bjoern Doebel]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

> 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?

Bjoern
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFFvmoLP5ijxgQLUNkRAr1yAJ0SpDAbGyZk6B90iIHGR4nIvi+u1wCdH41N
Y2ARWo8PTSicQVY+V23ARlg=
=SnCM
-----END PGP SIGNATURE-----