Zephyr is a small real-time operating system for connected, resource-constrained, and embedded devices supporting multiple architectures