@misc{indiciaec265ff6dbdd3,
  title = {Panel: What is a Lightweight Kernel?.},
  author = {Riesen, Rolf and Maccabe, Barney and Gerofi, Balazs and Lombard, David and Lange, John and Pedretti, Kevin and Ferreira, Kurt Brian and Lang, Mike and Keppel, Pardo and Wisniewski, Robert and Brightwell, Ronald B. and Inglett, Todd and Park, Yoonho and Ishikawa, Yutaka},
  year = {2015},
  url = {https://www.osti.gov/biblio/1258200},
  note = {Source identifier: 1258200}
}