Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Mar 31, 2026

• data: rust-sel4 v4.0.0 release info

  Show description for c08c814
  

  nspin

  authored and

  lsf37

  committed
  c08c814

  Copy full SHA for c08c814

• microkit: add 2.2.0 PDF manual

  Show description for 4d52a54
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  4d52a54

  Copy full SHA for 4d52a54

• microkit: add 2.2.0 SDK downloads

  Show description for 2d7dcb3
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  2d7dcb3

  Copy full SHA for 2d7dcb3

• microkit: add (adjusted) manual for 2.2.0

  Show description for 870e285
  lsf37

  committed
  870e285

  Copy full SHA for 870e285

• dep5: use patterns for microkit manuals

  Show description for 66d864f
  lsf37

  committed
  66d864f

  Copy full SHA for 66d864f

• Add release notes and update front page releases

  Show description for e7c794d
  lsf37

  committed
  e7c794d

  Copy full SHA for e7c794d

Commits on Mar 24, 2026

• Makefile: add target for updating all input repos

  Show description for ca6c21b
  

  lsf37

  authored and

  Indanz

  committed
  ca6c21b

  Copy full SHA for ca6c21b

Commits on Jan 29, 2026

• microkit: fix manual diagram file

  Show description for 3585bd5
  Ivan-Velickovic

  committed
  3585bd5

  Copy full SHA for 3585bd5

Commits on Jan 19, 2026

• deps: update ruby gems

  Show description for f040aae
  

  lsf37

  authored and

  Indanz

  committed
  f040aae

  Copy full SHA for f040aae

• deps: update node dependencies

  Show description for 2f51ffe
  

  lsf37

  authored and

  Indanz

  committed
  2f51ffe

  Copy full SHA for 2f51ffe

Commits on Dec 19, 2025

• X64: fix wrong cmake platform name

  Show description for ebf7e70
  

  lsf37

  authored and

  Indanz

  committed
  ebf7e70

  Copy full SHA for ebf7e70

Commits on Dec 15, 2025

• hardware: list all supported platforms as json

  Show description for 6e59b94
  lsf37

  committed
  6e59b94

  Copy full SHA for 6e59b94

• hardware: standardise page for unmaintained boards

  Show description for 5d171b2
  lsf37

  committed
  5d171b2

  Copy full SHA for 5d171b2

• hardware: declare Odroid-X unmaintained

  Show description for e0ce5d3
  lsf37

  committed
  e0ce5d3

  Copy full SHA for e0ce5d3

• hw-info: add warning for unmaintained boards

  Show description for 9e226a9
  lsf37

  committed
  9e226a9

  Copy full SHA for 9e226a9

Commits on Dec 14, 2025

• Address review comments

  Show description for d27abc6
  

  JDuchniewicz

  authored and

  lsf37

  committed
  d27abc6

  Copy full SHA for d27abc6

• Add rock3b docs. Fix typos

  Show description for 930a31d
  

  JDuchniewicz

  authored and

  lsf37

  committed
  930a31d

  Copy full SHA for 930a31d

• Fix arch description for X64

  Show description for 8277ded
  

  runxiyu

  authored and

  lsf37

  committed
  8277ded

  Copy full SHA for 8277ded

Commits on Nov 27, 2025

• correct license

  Show description for a37ab03
  

  akifejaz

  authored and

  Indanz

  committed
  a37ab03

  Copy full SHA for a37ab03

• Add Banana Pi BPI-F3

  Show description for 39fbc47
  

  akifejaz

  authored and

  Indanz

  committed
  39fbc47

  Copy full SHA for 39fbc47

• microkit: add SDK link to release notes

  Show description for cd2ff6d
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  cd2ff6d

  Copy full SHA for cd2ff6d

Commits on Nov 26, 2025

• microkit: update roadmap

  Show description for 44b5e47
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  44b5e47

  Copy full SHA for 44b5e47

• Restructure verified config data

  Show description for f545843
  lsf37

  committed
  f545843

  Copy full SHA for f545843

• Ignore generated data file

  Show description for 9b9a25e
  lsf37

  committed
  9b9a25e

  Copy full SHA for 9b9a25e

• Fix typos in microkit 2.1.0 release notes

  Show description for 31b07ae
  

  Willmish

  authored and

  Ivan-Velickovic

  committed
  31b07ae

  Copy full SHA for 31b07ae

• Add Microkit 2.1.0 PDF manual

  Show description for 75d2a77
  Ivan-Velickovic

  committed
  75d2a77

  Copy full SHA for 75d2a77

• Add Microkit 2.1.0 release notes

  Show description for 1bb06b2
  Ivan-Velickovic

  committed
  1bb06b2

  Copy full SHA for 1bb06b2

• .gitattributes: mark all PDF files as binary

  Show description for 41b01fa
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  41b01fa

  Copy full SHA for 41b01fa

• data: microkit 2.1.0 release and SDK info

  Show description for 46c472b
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  46c472b

  Copy full SHA for 46c472b

• data: rust-sel4 v3.0.0 release info

  Show description for a45345a
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  a45345a

  Copy full SHA for a45345a

• microkit: apply docsite integration

  Show description for 10a32ce
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  10a32ce

  Copy full SHA for 10a32ce

• microkit: add vanilla 2.1.0 manual

  Show description for 4be8adb
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  4be8adb

  Copy full SHA for 4be8adb

• config: update latest release packages

  Show description for 8469a98
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  8469a98

  Copy full SHA for 8469a98

• releases: add seL4 + capDL + camkes release notes

  Show description for 4ec1dc9
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  4ec1dc9

  Copy full SHA for 4ec1dc9

Commits on Nov 3, 2025

• microkit: fix link in roadmap

  Show description for aa46510
  

  Ivan-Velickovic

  authored and

  Indanz

  committed
  aa46510

  Copy full SHA for aa46510