no verification for this platform,” the release notes add. The open source seL4 kernel was developed to be highly secure. It was the first general-purpose operating system kernel formally proved correct against its specification. To read more, please visit: https://www.computerworld.com.au/article/640287/data61-ports-sel4-risc-v/]]>