l4-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Device Driver Framework Thesis


From: Benno
Subject: Re: Device Driver Framework Thesis
Date: Sat, 29 Oct 2005 00:39:16 +1000
User-agent: Mutt/1.5.9i

On Fri Oct 28, 2005 at 14:45:34 +0200, Marcus Brinkmann wrote:
>Hi,
>
>You also should have a very close look at this:
>
>http://l4ka.org/publications/paper.php?docid=1208
>
>@InProceedings{LeVasseur04UnmodifiedDriverReuse,
> author = {Joshua LeVasseur and Volkmar Uhlig and Jan Stoess and Stefan 
> G\"otz}, title = {Unmodified Device Driver Reuse and Improved System 
> Dependability via
>       Virtual Machines},
> booktitle = {Proceedings of the 6th Symposium on Operating Systems Design
>        and Implementation},
> address = {San Francisco, CA},
> month = Dec,
> year = {2004},
> affiliation = {University of Karlsruhe, Germany},
> URL = {http://l4ka.org/publications/}
>}
>
>Marcus
>
>
>

You should probably also look at "Mungi device drivers" (google for it).

Mungi is another OS written on top of Pistachio.

Cheers,

Benno




reply via email to

[Prev in Thread] Current Thread [Next in Thread]