Tech-note on how to write device drivers in BF.
[barrelfish] / doc / style / barrelfish.bib
index 5566d8b..1cb7718 100644 (file)
@@ -420,7 +420,7 @@ compute servers},
   edition =     {Release A.03.14.00},
   month =       {August},
   year =        2001,
-  note =       
+  note =
 {\url{http://www.hpl.hp.com/personal/Alan_Karp/espeak/Architecture.pdf},
 retrieved May 2010}}
 
@@ -1194,5 +1194,14 @@ D. E. Long and Carlos Maltzahn},
   month =       mar}
 
 
+@TechReport{btn019-devicedrivers,
+  author =     bft,
+  title =      {{Device Drivers in Barrelfish}},
+  institution =  {Systems Group, ETH Zurich},
+  year =   2013,
+  type =   btn,
+  number =     019,
+  month =      dec}
+