Search results

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

Status: Open.

#245 In seL4/docs;

· IridescentRose opened on Apr 18, 2024

Please point out which hardware supports simulation

Status: Open.

#243 In seL4/docs;

· wucke13 opened on Apr 11, 2024

zynq7000 patch is outdated

Status: Open.

#237 In seL4/docs;

· wucke13 opened on Apr 2, 2024

add xxd to build dependencies

Status: Open.

#227 In seL4/docs;

· lsf37 opened on Feb 24, 2024

Typo error

Status: Open.

#221 In seL4/docs;

· hugusmaximus opened on Jan 14, 2024

Docsite: inconsistency between landing page, submenus and pages

enhancementNew feature or requestNew feature or request

Status: Open.

#207 In seL4/docs;

· june-andronick opened on Nov 21, 2023

Docsite: inconsistent links for tutorials

enhancementNew feature or requestNew feature or request

Status: Open.

#206 In seL4/docs;

· june-andronick opened on Nov 21, 2023

Missing system calls on API reference page

Status: Open.

#183 In seL4/docs;

· Ivan-Velickovic opened on May 17, 2023

update build to work with Ubuntu 22.04

Status: Open.

#165 In seL4/docs;

· lsf37 opened on Nov 22, 2022

Document support of Pine64 Quartz64 Board (RK3566)

Status: Open.

#141 In seL4/docs;

· axel-h opened on Apr 7, 2022

merge pages of contribution guidelines

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#137 In seL4/docs;

· axel-h opened on Mar 22, 2022