Linux Plumbers Conference Courses

Agni: Fast Formal Verification of the Verifier's Range Analysis

Explore fast formal verification techniques for range analysis in the Linux kernel's eBPF verifier, enhancing security and performance.

• YouTube
• 24 minutes
• On-Demand
• Free Video

PID FDs: Where We Were, Where We Are, and Where We Would Like to Go

Explore the evolution and future prospects of PID FDs in Linux, examining past developments, current status, and potential advancements.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Closing the Script Execution Control Gap

Explore techniques for enhancing script execution control and security in Linux systems. Learn about potential vulnerabilities and mitigation strategies.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Modernizing bpftrace with libbpf

Explore advancements in bpftrace modernization using libbpf, enhancing system observability and performance analysis capabilities for Linux kernel developers.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Mediated Passthrough vPMU for KVM

Explore mediated passthrough vPMU implementation for KVM, enhancing virtualization performance and efficiency in Linux systems.

• YouTube
• 32 minutes
• On-Demand
• Free Video

Enhancing Trust: The Evolution of Trusted Keys in the Linux Kernel

Explore the evolution of trusted keys in the Linux kernel, focusing on enhancing security and trust mechanisms for modern systems.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Improving eBPF Complexity with a Hardware-backed Isolation Environment

Explore hardware-backed isolation for eBPF, enhancing complexity management and security in Linux kernel development.

• YouTube
• 34 minutes
• On-Demand
• Free Video

BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More

Explore BASIL, a tool for identifying gaps in kernel testing and enhancing functional safety in Linux systems.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Making Sense of Tristate Numbers (tnum)

Explore tristate numbers (tnum) and their applications in Linux systems with expert insights from YU, Shung-Hsi.

• YouTube
• 25 minutes
• On-Demand
• Free Video

Device Dependency Tracking with fw_devlink - Status, TODOs, and Leveraging Techniques

Explore device dependency tracking in Linux using fw_devlink, including current status, future tasks, and implementation strategies.

• YouTube
• 39 minutes
• On-Demand
• Free Video

Guest Private Memory for Software-Based Hypervisors

Explore advanced techniques for implementing guest private memory in software-based hypervisors, enhancing security and performance in virtualized environments.

• YouTube
• 23 minutes
• On-Demand
• Free Video

User-Space Only Uprobes - Could a BPF-Based vDSO Help?

Explore user-space uprobes and potential BPF-based vDSO solutions for enhanced performance and functionality in Linux systems.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Kernel Function Tracing in the Face of Compiler Optimization

Explore advanced kernel function tracing techniques and overcome challenges posed by compiler optimizations in Linux systems.

• YouTube
• 59 minutes
• On-Demand
• Free Video

The UAPI Kernel API Wishlist

Explore Lennart Poettering's vision for improving the Linux kernel's user-space API, addressing current limitations and proposing enhancements for better system integration.

• YouTube
• 1 hour
• On-Demand
• Free Video

Pagetable-based Virtual Machine (PVM) as a PV Flavor for KVM

Explore Pagetable-based Virtual Machine (PVM) as a PV flavor for KVM, understanding its implementation and benefits for virtualization technology.

• YouTube
• 32 minutes
• On-Demand
• Free Video