@misc{indiciae66b6cb149f68, title = {Multicore XINU.}, author = {Van Every, Philip Michael}, year = {2018}, url = {https://www.osti.gov/biblio/1528808}, note = {Source identifier: 1528808} }