Raspberry Pi 4 port (BCM2711) #26

New Issue

2026-11-06T16:01:24Z

rajames commented

2026-11-06 16:01:24 +00:00

There is no Pi 4 port: the Pi 4 appears only in two comments (kernel/src/arch/aarch64/timer.c:81, rpi5_mailbox.c:199). It needs its own interrupt controller (GIC-400), UART, mailbox and DTB. Until then the nightly publishes no raspi4 image.

There is no Pi 4 port: the Pi 4 appears only in two comments (`kernel/src/arch/aarch64/timer.c:81`, `rpi5_mailbox.c:199`). It needs its own interrupt controller (GIC-400), UART, mailbox and DTB. Until then the nightly publishes no raspi4 image.

rajames added this to the Board bring-up milestone 2026-11-06 16:01:24 +00:00

rajames added the board/raspi4

labels 2026-11-06 16:01:24 +00:00

rajames added the

status

backlog

label 2026-11-06 19:06:38 +00:00