Raspberry Pi 4
Any memory configuration. The port is validated on the BCM2711, Cortex-A72.
Get started · image ready for testing
Run it on your
Raspberry Pi 4.
Jidō OS runs end to end on silicon — including the critical loop with safe-stop. The SD-card image is built on every release, so you can test without compiling or setting up a toolchain.
What you
need.
Three items. The third is the one people forget: without a serial console you will not see the boot, because Jidō OS speaks over UART, not HDMI.
MicroSD
Flashed with Raspberry Pi Imager or dd. The image is FAT32 with kernel, firmware and config.txt ready.
3.3 V USB-TTL adapter
Wired to GPIO14/15. Console at ~103448 baud — that rate comes from the firmware; it is not a typo.
Four steps.
From download to an interactive shell. Full instructions and the checksum live in the repository.
01
Download the image
The .img.gz package from release v1.3.0, in the public repository.
02
Flash the card
Raspberry Pi Imager (“use custom image”) or dd. Verify the checksum first.
03
Wire the serial
USB-TTL to GPIO14 (TX), GPIO15 (RX) and GND. Open the terminal at ~103448 baud, 8N1.
04
Power it up
The boot log appears on the console and the jido> shell responds. Type help.
What is
validated there.
The image delivers Tier 0 and Tier 1 on silicon: EL2→EL1 boot, MMU, GICv2, shell, critical loop in EL0 with safe-stop, 4 cores and persistent SD storage.
110automated tests at boot
3.2 µscontrol → actuator (worst case, 5 boots @600 MHz)
4cores online via spin-table
JidoFSpersistent on SD/EMMC
These figures hold for the BCM2711. On any other silicon they revert to “pending” — WCET is per-target, and saying otherwise would be dishonest.