A Development Environment for DO-178C Level D Certified Linux
summary
Uses Yocto/OpenEmbedded and BitBake to produce reproducible, source-built embedded Linux images that meet DO-178C DAL D objectives and enter revenue service. Build system mirrors upstream repos, pins commits with setup_layers.json and a scripted mirror/pinning workflow, applies controlled shim patches, and produces uniquely numbered LSAP images and OVA dev appliances via Vagrant and virtualization. Nightly zero-cache builds plus automated testhooks and buildbot give repeatable results; the approach is operational and in‑aircraft.
AI-written summary · about
chapters (8)
- 0:00DO-178C Linux development intro
- 3:38Software certification in aerospace
- 13:31DO-178C certification objectives
- 25:49Key development environment principles
- 31:25Virtualization and build strategies
- 46:29Developer workflow automation
- 53:09Linux engineers at Boeing
- 56:21Q&A on SBOM and reproducibility
related talks
30mYocto for open source embedded systems development
41mDebian & Yocto: State of the Art
32mSoftware Supply Chain with the Yocto Project
50mBuilding a Custom Embedded Linux Distribution
27mDebating Linux in Aerospace: Objections and Paths Forward
32mBuilding and Testing an Automotive Platform - How Automotive Grade Linux is Built and Tested
40mDesigning a Distro from Scratch Using OpenEmbedded - Part 2
29mTesting, a Journey from Testing Kernels to Testing Debian and Yocto