Search results

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

Status: Open.

#324 In seL4/docs;

· hugusmaximus opened on Feb 6, 2026

Incomplete bsp description/bringup explanation

Status: Open.

#320 In seL4/docs;

· 37eex9 opened on Jan 28, 2026

Host Dependencies nuance for the latest Ubuntu

Status: Open.

#317 In seL4/docs;

· potanin opened on Jan 4, 2026

Add docsite HTML validation to CI

CIrelated to continuous integration and testingrelated to continuous integration and testing

Status: Open.

#308 In seL4/docs;

· lsf37 opened on Nov 26, 2025

Add link checker to CI for docsite

CIrelated to continuous integration and testingrelated to continuous integration and testing

Status: Open.

#307 In seL4/docs;

· lsf37 opened on Nov 26, 2025

Improvements to porting page

Status: Open.

#299 In seL4/docs;

· Ivan-Velickovic opened on Oct 13, 2025

Add search

enhancementNew feature or requestNew feature or request

Status: Open.

#292 In seL4/docs;

· lsf37 opened on Jul 17, 2025

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

Status: Open.

#245 In seL4/docs;

· IridescentRose opened on Apr 18, 2024

Missing system calls on API reference page

Status: Open.

#183 In seL4/docs;

· Ivan-Velickovic opened on May 17, 2023

Document support of Pine64 Quartz64 Board (RK3566)

Status: Open.

#141 In seL4/docs;

· axel-h opened on Apr 7, 2022