The episode formerly known as ℔

Oxide and Friends · 24 Aug 2021 · 1h 06m · Episode 11

What this episode covers

Bryan Cantrill, Adam Leventhal, and Laura Abbott of Oxide Computer Company discuss the development of Hubris, a microkernel operating system for embedded systems, emphasizing its correctness, lack of dynamic memory allocation, and use of Rust. The group traces the evolution of operating system concepts from the 1990s, including 'personalities' in Windows NT and the microkernel vs. monolithic debate, to modern containerization and embedded design. They detail specific engineering challenges in Hubris, such as stack overflow handling and memory protection, while also engaging in a broad discussion on Unix trivia, open-source maintenance, and accessibility technology.

Mentioned

Companies
Oxide Computer Company
Chips
RISC-V
Also
Hubris, QNX, Tock, Windows NT, NeXTSTEP, dBASE IV, Rust, NVDA, Emacs, DECtalk

Other shows on the same ground, closest first.

  • The Spark Gap · 26m

    The Spark Gap - Episode 4

    Corey and Carl debate the merits of using Real-Time Operating Systems (RTOS) versus bare-metal firmware for single-core embedded systems. Carl argues that RTOS solutions like ChibiOS and FreeRTOS provide necessary abstraction for changing design requirements, efficient timer management, and interrupt handling, while Corey contends that bare-metal code offers lower latency, no licensing costs, and full control over platform-specific optimizations. They discuss specific RTOS implementations, licensing models like GPL, and the trade-offs between development time and hardware performance.

  • The Spark Gap · 43m

    The Spark Gap - Episode 15

    Speakers Carl and Corey discuss the history and technical evolution of the Raspberry Pi, focusing on the original Model B's hardware flaws and the foundation's educational mission. They analyze specific engineering failures, including the lack of mounting holes, inefficient LDO power regulation, and flaky USB ports, which forced users to rely on powered hubs. The conversation contrasts the early 'minimum viable product' approach with later revisions like the B Plus and Compute Module, while debating the value of open-source hardware versus proprietary control in the single-board computer market.

  • Embedded.fm · 59m

    307: Big While Loop

    Hosts Elecia White and Christopher White discuss the decision to use a real-time operating system (RTOS) on microcontrollers versus bare-metal programming. They define an RTOS as an application framework that simplifies task management, memory handling, and inter-thread communication, contrasting it with the 'big while loop' approach. The hosts outline specific scenarios where an RTOS is beneficial, such as handling TCP/IP, Bluetooth, complex displays, and file systems, while also addressing common concurrency issues like priority inversion, race conditions, and non-reentrancy.

  • Embedded.fm · 1h 13m

    50: The Podcast Formerly Known As...

    Elecia White and Christopher White celebrate the 50th episode of their podcast, discussing the decision to rename it from 'Making Embedded Systems' to 'Embedded' to better reflect its scope. They review recent activities, including Elecia's role as a judge for the Hackaday Prize, which offers a trip to space, and her work on an 'are-you-ok' proof-of-life widget using accelerometers. The hosts also debate the merits of C versus C++ in embedded software, with Christopher advocating for C++'s object-oriented features for code modularity and testing.

  • The Amp Hour · 57m

    Finding Hardware Flaws with Laura Abbott

    Laura Abbott, an engineer at Oxide Computer, discusses her accidental discovery of a buffer overflow vulnerability in the ROM update mechanism of the NXP LPC55S69 microcontroller while working on Oxide's server root of trust. She explains how Oxide is rebuilding the server from the ground up with a focus on hardware security, utilizing their open-source operating system Hubris and the Rust programming language to mitigate risks like memory safety issues. The conversation covers the architecture of the server's secure components, including the service processor and TrustZone-M, as well as the challenges of remote hardware debugging and contributing to the Linux kernel community.

The summary, chapters and topics are generated from the episode’s audio by this directory, not written by Oxide and Friends. The episode itself belongs to its publisher.