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 _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
