ARD02: Host operating system

Status

Accepted

Context

We need a consistent, supported Linux OS distribution, for Raspberry Pi hardware, that works well with Docker and long-lived automation.

Decision

Use Raspberry Pi OS Lite (64-bit) based on Debian Trixie.

Rationale

  • Officially supported by Raspberry Pi
  • Debian base aligns with server tooling
  • Minimal footprint, no desktop, no bloat

Consequences

  • Depends on choice to use Raspberry Pi hardware.
  • Tied to Raspberry Pi ecosystem
  • Alternative OS choices require a new decision