Skip to content

Releases: HIDEYUKI-KISHIDA/tkernel2-aarch64

v0.2.2 — Raspberry Pi 5 community handoff (preview)

Choose a tag to compare

Raspberry Pi 5 hardware test package (preview)

Community port of T-Kernel 2.0 for AArch64 — experimental Pi 5 bring-up bundle.

Important: The maintainer does not own a Raspberry Pi 5. Real hardware boot is not verified. Community testing and issue reports are welcome.

Download

Extract tk2-rpi5-handoff-20260517.tar.gz from this release.

File Purpose
kernel8.img Copy to the FAT32 boot partition root
config-rpi5-append.txt Append to config.txt (enable_rp1_uart=1 required)
README-Pi5.en.md Step-by-step instructions
SHA256SUMS Optional integrity check

Quick steps

  1. Open the SD card boot partition (config.txt visible).
  2. Copy kernel8.img to the boot root.
  3. Append config-rpi5-append.txt to config.txt.
  4. Connect 3.3 V USB–serial to the 40-pin header (115200 8N1).
  5. Power on and save the full serial log.

Full guide: docs/PI5-USER.en.md

Success markers

ABABABABAB [M5b] kernel idle (no runnable tasks)

KERNEL PANIC with EC/ELR/FAR is also useful — please paste the full log.

Report results

Open an issue with board model, tarball name, and complete serial output (success or failure).

Verification status

Target Status
QEMU virt M5b Verified (make M5B=1 run)
Raspberry Pi 5 Not verified — help wanted

Disclaimer

Unofficial community port. Not a TRON Forum or Raspberry Pi Ltd BSP. No warranty; research and education only.