Another big ticket feature has made it for the Linux 6.0 kernel: the Runtime Verification infrastructure for running Linux on safety-critical systems…
Source: Phoronix – Linux 6.0 Adding Run-Time Verification For Running On Safety Critical Systems