30.Lock Globe Motherboard

Another big ticket feature has made it for the Linux 6.0 kernel: the Runtime Verification infrastructure for running Linux on safety-critical systems.



Linux developer Daniel Bristot de Oliveira has been exploring Runtime Verification for Linux the past few years and the implementation is set to be mainlined as part of the tracing updates in this next kernel. 

 

There is this basic documentation on the Runtime Verification (RV) for those interested in Linux use on real-time, safety-critical systems.