https://orbitbrain.com/blog/google-unveils-kataos-verifiably-secure-operating-system-for-embedded-devices/