Architecture, guides, hardware, security, reference and releases: what Mica OS is and how a device behaves.