All pull requests

Pull requests

• arm-hyp spec+crefine: remove TPIDRURO register

  #1106·lsf37 opened Oct 29, 2026Member·

  ·
  2

• arm+arm-hyp: dynamically detect VIPT/PIPT cache type

  seL4-PR
  #1104·lsf37 opened Oct 29, 2026Member·

  ·

• Machine style

  cleanup
  #1092·lsf37 opened Oct 25, 2026Member·

  ·
  7

• rt aarch64 haskell: introduce readPoolPtr and readASIDPoolEntry

  MCS
  #1082·michaelmcinerney opened Oct 20, 2026Contributor·

  ·
  2

  

• capDL+lib: move chaos to Monads and add lemmas

  cleanup
  #1079·lsf37 opened Oct 18, 2026Member·

  ·

• docs: update arch split docs

  docs
  #1076·lsf37 opened Oct 18, 2026Member·

  ·

• [Part 1] Security Proofs Cleanup

  #1073·ryybrr opened Oct 6, 2026Contributor·

  ·
  13

• c-parser: explicitly check for inline asm statement errors

  C-parser
  #1059·lsf37 opened Sep 13, 2026Member·

  ·
  23

• cparser: check for zero-length array

  C-parser
  #1057·lsf37 opened Sep 12, 2026Member·

  ·
  1

  14

• Multikernel C parameterisation via Gamma0

  multicore
  #1014·lsf37 opened Jun 10, 2026Member·2 tasks·

  ·

• MCS: Remove grant right from reply cap

  MCSseL4-PR
  #808·corlewis opened Aug 2, 2024Member·

  ·
  24

• MCS: set handler params when configuring TCBs

  MCS
  #505·corlewis opened Jul 22, 2022Member·

  ·