On the 23rd of September 2019, the Blockchain Technology Research and Application Joint Laboratory (a Starteos established company) and the University of Electronic Science and Technology of China (UESTC)

seL4 is the world's first formally verified kernel from the specification to the implementation. The applications are endless, from drones, medical device implants, and self-driving vehicles. However,