We’re pleased to announce that The Good Penguin has recently been awarded funding from Innovate UK to establish and operate a CHERI tools and software hub. What is CHERI? CHERI, or Capability Hardware Enhanced RISC Instructions, is an open, formally proven set of microprocessor architectural extensions that add strong, fine-grained memory-safety guarantees to existing Instruction …
Month: December 2025
Bridging the Gap: A Look at rpi-image-gen & rpi-sb-provisioner
A Raspberry Pi’s low-cost and wide availability makes it a great choice for prototyping and developing embedded Linux systems. Flashing an OS, and installing the required packages to run your application code is typically just an apt install away. However, how do you take that prototype and create a clean and production-ready system? Where you …