A Maintainable, Scalable, and Verifiable SW Architectural Design Model for the Linux Kernel

A Maintainable, Scalable, and Verifiable SW Architectural Design Model for the Linux Kernel

Explore a conference talk that delves into a software architectural design model for the Linux Kernel, focusing on maintainability, scalability, and verifiability. Join Gabriele Paoloni and Daniel Bristot De Oliveira as they present their insights and strategies for improving the Linux Kernel's architecture, addressing key challenges in its development and maintenance. Learn about innovative approaches to enhance the kernel's performance, reliability, and long-term sustainability in this 33-minute presentation from the Linux Plumbers Conference.