Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 31, 2026

• Update VERSION file to 0.5.0-dev

  Show description for 33aec91
  

  seL4-ci

  authored and

  lsf37

  committed
  33aec91

  Copy full SHA for 33aec91

• Release 0.5.0

  Show description for 35acd22
  

  seL4-ci

  authored and

  lsf37

  committed
  35acd22

  Copy full SHA for 35acd22

• CHANGES: support for dynamic domain schedules

  Show description for fdef35c
  lsf37

  committed
  fdef35c

  Copy full SHA for fdef35c

Commits on Mar 25, 2026

• trivial: fix broken link

  Show description for 967ac76
  

  nspin

  authored and

  lsf37

  committed
  967ac76

  Copy full SHA for 967ac76

Commits on Mar 24, 2026

• python-capdl-tool: support for domain schedules

  Show description for 1212066
  lsf37

  committed
  1212066

  Copy full SHA for 1212066

Commits on Mar 20, 2026

• capDL-tool+loader-app: C domain schedule init

  Show description for dd4daf3
  lsf37

  committed
  dd4daf3

  Copy full SHA for dd4daf3

• capDL-tool: allow optional domain_set_start

  Show description for d633ff5
  lsf37

  committed
  d633ff5

  Copy full SHA for d633ff5

• capDL-tool: add error checking for domains

  Show description for acdf900
  lsf37

  committed
  acdf900

  Copy full SHA for acdf900

• capDL-tool: add index_shift for domain schedules

  Show description for 914cc25
  lsf37

  committed
  914cc25

  Copy full SHA for 914cc25

• capDL-tool: consistent newlines for cdl output

  Show description for 6c317a6
  lsf37

  committed
  6c317a6

  Copy full SHA for 6c317a6

• capdDL-tool: document all architectures tags

  Show description for b4bcd14
  lsf37

  committed
  b4bcd14

  Copy full SHA for b4bcd14

• capDL-tool: document domain schedule syntax

  Show description for e8faeb6
  lsf37

  committed
  e8faeb6

  Copy full SHA for e8faeb6

• capDL-tool: add domain schedules

  Show description for 79746ae
  lsf37

  committed
  79746ae

  Copy full SHA for 79746ae

Commits on Nov 24, 2025

• Update VERSION file to 0.4.0-dev

  Show description for 79624ef
  

  seL4-ci

  authored and

  lsf37

  committed
  79624ef

  Copy full SHA for 79624ef

• Release 0.4.0

  Show description for 80e2f52
  

  seL4-ci

  authored and

  lsf37

  committed
  80e2f52

  Copy full SHA for 80e2f52

Commits on Nov 19, 2025

• trivial: style update

  Show description for f04b257
  lsf37

  committed
  f04b257

  Copy full SHA for f04b257

• CHANGES: add SGISignal cap entry

  Show description for e6d2bb1
  lsf37

  committed
  e6d2bb1

  Copy full SHA for e6d2bb1

• capDL-tool: add an AArch64 test example

  Show description for bc87c95
  lsf37

  committed
  bc87c95

  Copy full SHA for bc87c95

• capDL-tool: fix ASIDPool check

  Show description for a3b0133
  lsf37

  committed
  a3b0133

  Copy full SHA for a3b0133

• SGI support for capDL-tool + loader + python

  Show description for e6b3e79
  

  3 peoplecommitted
  e6b3e79

  Copy full SHA for e6b3e79

• capDL-tool: fix printing for ARM irq handler caps

  Show description for 6b3bd75
  lsf37

  committed
  6b3bd75

  Copy full SHA for 6b3bd75

Commits on Nov 18, 2025

• capdl-loader-app: fix missing function name

  Show description for b8a7719
  lsf37

  committed
  b8a7719

  Copy full SHA for b8a7719

• trivial: style fix for Object.py

  Show description for cf81905
  lsf37

  committed
  cf81905

  Copy full SHA for cf81905

• CHANGES: log fpu_disabled flag

  Show description for 4007697
  lsf37

  committed
  4007697

  Copy full SHA for 4007697

• python-capdl-tool: support for fpu_disabled flag

  Show description for 83f43bf
  lsf37

  committed
  83f43bf

  Copy full SHA for 83f43bf

• capdl-loader-app: support for fpu_disabled flag

  Show description for 0e10d8d
  lsf37

  committed
  0e10d8d

  Copy full SHA for 0e10d8d

• capDL-tool: support for fpu_disabled flag

  Show description for 8068097
  lsf37

  committed
  8068097

  Copy full SHA for 8068097

Commits on Aug 15, 2025

• trivial: update style for new cmake-format

  Show description for 9d4ca9a
  lsf37

  committed
  9d4ca9a

  Copy full SHA for 9d4ca9a

• Bump minimum CMake version

  Show description for 3b2ad39
  lsf37

  committed
  3b2ad39

  Copy full SHA for 3b2ad39

Commits on Mar 17, 2025

• linkcheck: ignore haskellstack.org

  Show description for c5e2dcd
  lsf37

  committed
  c5e2dcd

  Copy full SHA for c5e2dcd

• github: use central CI workflows

  Show description for ba39b14
  lsf37

  committed
  ba39b14

  Copy full SHA for ba39b14

Commits on Jul 11, 2024

• github: specify ghc and cabal version

  Show description for ed79353
  lsf37

  committed
  ed79353

  Copy full SHA for ed79353

• github: switch to maintained haskell-actions/setup

  Show description for 7ec5e7d
  lsf37

  committed
  7ec5e7d

  Copy full SHA for 7ec5e7d

• undyped_gen: remove pyaml dependency

  Show description for 4a78f06
  lsf37

  committed
  4a78f06

  Copy full SHA for 4a78f06

Commits on Jul 1, 2024

• Update VERSION file to 0.3-dev

  Show description for 8caade9
  

  seL4-ci

  authored and

  lsf37

  committed
  8caade9

  Copy full SHA for 8caade9