@misc{indiciae5434de6ac05c,
  title = {Kitten Lightweight Kernel Overview.},
  author = {Pedretti, Kevin},
  year = {2013},
  url = {https://www.osti.gov/biblio/1677583},
  note = {Source identifier: 1677583}
}