agentsclimarketplace

Firmware boot chain

Skill Midstall/claude-for-hardware/skills/firmware-boot-chain

Claude Code skills for hardware design, validation, and bring-up

Install
npx -y skills add Midstall/claude-for-hardware --skill firmware-boot-chain

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

  • 7 stars7 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

What its author says it does

Copied from the file, not written here

Use when building or debugging a firmware and boot chain (RISC-V SBI, UEFI, ACPI, a bootloader handoff like Limine to an OS) or adding measured boot with a TPM, and a stage fails to hand off to the next

SKILL.md

4.2 KB, as published. Nobody here has run it

Firmware Boot Chain

Overview

A boot chain is a relay of stages, each responsible for setting up just enough state to hand control to the next: ROM to firmware (SBI/UEFI), firmware to bootloader, bootloader to OS. Every handoff has a contract: where the next stage lives, what registers/tables it expects, and what memory is already set up.

Core principle: Each stage owns a contract with the next. Most boot failures are a broken contract at exactly one handoff, so isolate which handoff fails before theorizing about the stage itself.

When to Use

  • Writing or porting firmware (RISC-V SBI, UEFI services, ACPI table provision)
  • Chaining a bootloader (Limine, GRUB, U-Boot) into an OS kernel
  • A stage loads but the next never starts, or starts and immediately faults
  • Adding measured boot / TPM PCR extension to the chain
  • Discovering peripherals from a device tree or ACPI at firmware time

Map The Handoffs First

Write down the relay before debugging:

ROM -> firmware (SBI/UEFI) -> bootloader -> OS kernel
        provides: SBI calls,    loads:        expects: a0=hartid,
        memory map, ACPI/DTB     kernel+initrd  a1=DTB/ACPI ptr, MMU off

For each arrow, name: the entry address, the register/pointer contract, and the memory/translation state. The failing arrow is your bug location.

Firmware Responsibilities

  • Provide the platform description. Hand the next stage a device tree (DTB) or ACPI tables describing memory, CPUs, and peripherals. Probe peripherals from this description rather than hardcoding addresses, so one firmware serves multiple board memory maps.
  • Set the entry contract precisely. RISC-V convention passes hartid and a pointer to the platform description in fixed registers; get them exactly right. The next stage trusts them blindly.
  • Build-time configure the memory base. RAM base and the firmware's own load address differ per board (for example external DRAM at a high base on one board, on-chip SRAM on another). Make these build-time parameters, not constants buried in one file.

Bootloader Handoff Gotchas

These bite when chaining a general loader (for example Limine) into an OS:

  • Filesystem format constraints. The loader may require a specific boot filesystem (FAT16, not FAT32) and a specific layout. Get this wrong and the loader silently finds nothing.
  • Timeout and entry config. A nonzero menu timeout can stall an automated boot; a missing or misnamed entry just drops to a prompt.
  • Ramdisk/module placement. The loader places initrd/modules in memory; make sure that placement doesn't collide with where the kernel expects to run or with the stack (see bare-metal-bringup).

Measured Boot (TPM)

If the chain is measured:

  • Drive the TPM over its real interface (TIS for TPM 2.0) and gate the whole probe on the platform description actually advertising a TPM. Don't assume presence.
  • Measure before you transfer control. Each stage extends a PCR with a hash of the next stage (and relevant config) before jumping to it. Measuring after handoff measures nothing useful.
  • Use the standard protocol surface (for example EFI_TCG2_PROTOCOL) and emit a TCG2 event log so the measurements are verifiable later.
  • Test against a software TPM (swtpm) on the bench before trusting real silicon.

Red Flags

SmellDo instead
Hardcoded peripheral addressesProbe from DTB/ACPI
RAM base as a constantBuild-time parameter per board
"It doesn't boot" with no stage isolatedIdentify the failing handoff first
TPM probe with no presence gateGate on the platform description
Extending a PCR after the jumpMeasure-then-transfer

Midstall House Style

  • Weir is the reference: pure-Zig RISC-V firmware (SBI/UEFI/ACPI), Limine to NixOS, measured boot with a TPM 2.0 TIS driver and TCG2 event log. Peripherals are discovered from the DTB; RAM base is build-time.
  • No em dashes, no emoji. Pairs with bare-metal-bringup for the early-output and translation rungs.

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.