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