While it may seem slightly more expensive, Cloudways has everything you need to get started easily and is the better choice ...

Abstract: The seL4 microkernel [3] is the first general-purpose operating system (OS) kernel with a formal proof of implementation correctness. By now, its verification covers functional correctness ...