A developer explores building a modern disk image for Rock Pi 4 using Yocto, incorporating CUPS and Docker while leveraging Yocto's advanced SBOM generation capabilities. The process demonstrates how to create custom Linux distributions for embedded systems, with detailed instructions for setup and configuration. The guide addresses common challenges in maintaining up-to-date software for Chinese SBCs while highlighting Yocto's sophisticated approach to dependency tracking and SBOM generation.
A critical analysis of NASA's 10 coding rules for embedded software programming discusses potential issues with their restrictions, especially around recursion, memory allocation, and function pointers. The analysis emphasizes how these rules, while potentially beneficial for spacecraft software, may lead to less maintainable code and argues against limitations that prevent common programming patterns.
Ada/SPARK Crate Of The Year 2024 announces winners across three categories, with BBT winning Ada Crate, elogs securing SPARK Crate, and bbs_lisp taking Embedded Crate honors. BBT offers English-based test automation, elogs provides SPARK-validated message logging, while bbs_lisp delivers an embeddable Lisp interpreter for constrained environments.