Repository navigation

Fix race condition in fault-handlers tutorial + minor tweaks/lints - #129

Merged

lsf37 merged 3 commits into

lsf37/faulthandlers

Jul 10, 2026

Merged

Fix race condition in fault-handlers tutorial + minor tweaks/lints#129
lsf37 merged 3 commits into
masterfrom
lsf37/faulthandlers

Commits on Jul 10, 2026
- faults: seL4 manual links and md lints
  lsf37
  committed
  01e254c
- fault-handlers: keep waiting for faults
  lsf37
  committed
  aaa8ece
- fault-handlers: avoid printing race at the end
  lsf37
  committed
  fa4aefc