Repository navigation

Side by side commands - #439

Merged

jenstopp merged 6 commits into

mainfrom

feat/side-by-side-commands

Nov 5, 2026

Merged

Side by side commands#439
jenstopp merged 6 commits into
mainfrom
feat/side-by-side-commands

Commits on Nov 5, 2026
- fix: serialise memory-mapped GPIO access
  jenstopp
  committed
  d82cc00
- fix: say a device running another user's command is in use
  jenstopp
  committed
  b270f68
- refactor: hand each run a lease that only it releases
  jenstopp
  committed
  7ba713d
- feat: let a user run different commands on a device at once
  jenstopp
  committed
  37a94c4
- docs: record the decision to run a user's different commands side by side
  jenstopp
  committed
  2402866
- test: run a command beside an open console in the firmware CI
  jenstopp
  committed
  a803826