Skip to content
Bootlin

Bootlin

Embedded Linux and kernel engineering

  • Home
  • Engineering
  • Training
  • Docs
  • Community
  • Company
  • YoutubeYoutube
  • LinkedInLinkedIn

Useful Linux kernel resources

Useful Linux kernel resources

Linux Device Drivers book
A must-have book for people creating device drivers for the Linux kernel! Now available in a single PDF file.
Linux Kernel in a Nutshell book
Configuring, building and managing Linux kernel sources, by Greg Kroah Hartman. Now available in a single PDF file.
Elixir Cross Referencer
Our webserver allowing to explore the sources of the Linux kernel, and other other useful projects.

Next training sessions dates

Student penguins Embedded Linux
Linux kernel
Buildroot
Yocto / OpenEmbedded
Linux graphics
Embedded Linux audio
Real-time Linux with PREEMPT_RT
Debugging, profiling, tracing in Linux
New: Embedded Linux Networking training

Useful links

French flag Version française
Youtube Youtube
LinkedIn LinkedIn
RSS icon Follow new articles

Recent articles

  • Announcing sbom-cve-check, a lightweight CVE analysis tool for your SBOM
  • Linux 6.18 released, Bootlin contributions inside
  • Bootlin at Capitole du Libre 2025
  • Snagboot v2.5 released
  • Support for Yocto buildtools added to upstream Kas
  • Bootlin engineer Luca Ceresoli speaks at Linux Day 2025 in Bergamo, Italy
  • Adding support for the MAX7360 keypad controller in the Linux kernel
  • Bootlin at Capitole du Libre in Toulouse, Nov 15-16
  • Updated Buildroot support for STM32MPU platforms, ST BSP v6.1
  • The Dwarves Beneath the Kernel: Forging BTF for eBPF
  • Home
  • Engineering
  • Training
  • Docs
  • Community
  • Company
  • YoutubeYoutube
  • LinkedInLinkedIn
Bootlin Privacy Policy Proudly powered by WordPress