Technote: Fix bibliography
@@ -297,6 +297,6 @@ To add a compiled Sockeye specification into the SKB RAM disk, the filename can
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\bibliographystyle{abbrv}
-\bibliography{barrelfish}
+\bibliography{defs,barrelfish}
\end{document}
