TY - RPRT TI - Kitten Lightweight Kernel Overview. AU - Pedretti, Kevin PY - 2013 UR - https://www.osti.gov/biblio/1673692 ID - 1673692 ER -