Google has announced the launch of the KataOS operating system. The goal of this system is to provide a security system for embedded devices. According to Google, these devices are more susceptible to security issues.
Through the seL4 CAmkES structure, KataOS is also able to provide a defined and analyzable system components.
[Via]
