Raspberry Pi 4
Qualquer configuração de memória. O port é validado no BCM2711, Cortex-A72.
Começar · imagem pronta para testes
Rode na sua
Raspberry Pi 4.
O Jidō OS roda de ponta a ponta no silício — incluindo o laço crítico com safe-stop. A imagem para cartão SD é gerada a cada release, para testar sem compilar nem montar toolchain.
O que você
precisa.
Três itens. O terceiro é o que costuma faltar: sem console serial você não vê o boot, porque o Jidō OS fala pela UART, não por HDMI.
MicroSD
Gravado com Raspberry Pi Imager ou dd. A imagem é FAT32 com kernel, firmware e config.txt prontos.
Adaptador USB-TTL 3,3 V
Ligado no GPIO14/15. Console em ~103448 baud — taxa entregue pelo firmware, não é engano.
Quatro passos.
Do download ao shell interativo. Instruções completas e checksum ficam no repositório.
01
Baixe a imagem
Pacote .img.gz da release v1.3.0, no repositório público.
02
Grave o cartão
Raspberry Pi Imager (opção “usar imagem personalizada”) ou dd. Confira o checksum antes.
03
Ligue o serial
USB-TTL no GPIO14 (TX), GPIO15 (RX) e GND. Abra o terminal a ~103448 baud, 8N1.
04
Ligue a placa
O boot aparece no console e o shell jido> responde. Digite help.
O que está
validado ali.
A imagem entrega Tier 0 e Tier 1 no silício: boot EL2→EL1, MMU, GICv2, shell, laço crítico em EL0 com safe-stop, 4 cores e armazenamento persistente em SD.
110testes automáticos no boot
3,2 µscontrole → atuador (pior caso, 5 boots @600 MHz)
4cores online via spin-table
JidoFSpersistente em SD/EMMC
Os números valem para o BCM2711. Em qualquer outro silício voltam a “pendente” — WCET é por-alvo, e dizer o contrário seria desonesto.