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