Issues

• Documentation for RPI5 specifies non-supported memory models

  seL4/docs#353 · Filter by author tym2k1 opened on Oct 9, 2026
  3

• Raspberry PI 3 experimental port tutorial command "fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837" is wrong

  seL4/docs#324 · Filter by author hugusmaximus opened on Feb 6, 2026

• Incomplete bsp description/bringup explanation

  seL4/docs#320 · Filter by author 37eex9 opened on Jan 28, 2026

• Add docsite HTML validation to CI

  CI
  seL4/docs#308 · Filter by author lsf37 opened on Nov 26, 2025

• Add link checker to CI for docsite

  CI
  seL4/docs#307 · Filter by author lsf37 opened on Nov 26, 2025

• Improvements to porting page

  seL4/docs#299 · Filter by author Ivan-Velickovic opened on Oct 13, 2025
  1

• Add search

  enhancement
  seL4/docs#292 · Filter by author lsf37 opened on Jul 17, 2025
  3

• Possible RPI4 Documentation Regression with dtoverlay=disable-bt and serial0 kernel patch.

  seL4/docs#245 · Filter by author IridescentRose opened on Apr 18, 2024
  4

• Missing system calls on API reference page

  seL4/docs#183 · Filter by author Ivan-Velickovic opened on May 17, 2023
  1

• Document support of Pine64 Quartz64 Board (RK3566)

  seL4/docs#141 · Filter by author axel-h opened on Apr 7, 2022