Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust