About the Node and CertiKOS category

[CertiK_Foundation]

For questions regarding how to run a node on the CertiKOS