
Explore Xenomai's co-kernel architecture for mission-critical deterministic systems, its applications, kernel and hardware support, maintenance, and system creation process.

Explore the evolution of Apache ActiveMQ Artemis 2.0, its high performance capabilities, and new features for handling massive workloads in messaging systems.

Explore interrupt handlers, soft IRQs, tasklets, and preemptible threads in Linux kernels. Learn to detect and manage IRQ scheduling issues across x86, ARM, and ARM64 architectures.

Learn to design, plan, and create a basic IoT device with this tutorial. Covers architecture, component selection, secure design, and practical steps for building a foundation for further customization and development.

Explore Brillo and Weave internals for IoT systems, examining their relationship to Android, key components, and practical applications in headless devices.

Explore IoT security risks and open-source solutions for effective protection. Learn design-level measures to address security challenges and enable wider IoT adoption beyond enthusiast domains.

Retrospective on flexible Mandatory Access Control design, implementation, and application over 26 years. Explores evolution from research to mainstream systems, mobile platforms, and emerging OS.

Explore embedded Linux in aerospace applications, focusing on phased array antennas and FPGA integration. Learn about hardware decisions, software maintenance, and practical insights from real-world projects.

Learn how to replace vulnerable UEFI firmware with NERF, an open-source system using a tiny Linux kernel and initramfs, enhancing security and reducing exploit risks in PC and laptop firmware.

Explore best practices for high-performance, fault-tolerant systems using Aeron Cluster. Learn strategies for 24/7 availability, intraday changes, and region-wide failure management in financial applications.

Explore Zephyr's API for managing ACPI power states in connected application processors. Learn about state machine framework, hierarchical levels, and utility functions for efficient power management.

Explore TLA+ for modeling and verifying concurrent algorithms. Learn to use TLC model checker and TLA proof system to design robust, reliable software systems.

Comprehensive overview of Linux kernel development, exploring recent events, current state, challenges, and future prospects for system performance and capabilities.

Explore eBPF-based extensible paravirtualization for high-performance applications, addressing semantic gaps between guest OS and host hypervisor without kernel modifications or static resource allocation.

Explore end-to-end observability using Application Performance Monitoring and OpenTelemetry to proactively debug issues, understand system bottlenecks, and improve application performance across complex architectures.

Explore containerd's architecture, APIs, and extensibility. Learn to build custom snapshotters, integrate with specialized runtimes, and leverage plugins for enhanced container deployments and Kubernetes integrations.

Explore the Linux keyrings subsystem, its access methods, recent updates, and future plans in this informative talk by Red Hat expert David Howells.

Explore Mozilla's new SSO dashboard implementation for improved identity management, featuring high availability, Flask, Ansible, continuous development, and rapid deployment.

Explore Ubuntu's power management architecture, focusing on key components, energy-saving strategies, and system optimization techniques for improved battery life and performance.

Explore computer operating systems, covering fundamental concepts, architecture, and functionality in this comprehensive lecture from the Paul G. Allen School.

Explore a distributed operating system for IoT devices, covering architecture, security, and integration across smart things, gateways, and mobile platforms.