Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

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

• microkit: update roadmap

  Show description for 45a88ea
  Ivan-Velickovic

  committed
  45a88ea

  Copy full SHA for 45a88ea

• microkit: use tables for SDK downloads

  Show description for 9361237
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  9361237

  Copy full SHA for 9361237

Commits on Aug 27, 2025

• cheshire: explain dependencies and update for ELF

  Show description for b87d478
  

  midnightveil

  authored and

  lsf37

  committed
  b87d478

  Copy full SHA for b87d478

Commits on Aug 25, 2025

• hardware: fix rpi3 cmake platform string

  Show description for 5c27d3e
  

  lsf37

  authored and

  Ivan-Velickovic

  committed
  5c27d3e

  Copy full SHA for 5c27d3e

Commits on Jul 29, 2025

• microkit: read platforms.yml from Microkit repo

  Show description for 332d11a
  Ivan-Velickovic

  committed
  332d11a

  Copy full SHA for 332d11a

Commits on Jul 28, 2025

• zc706: remove outdated instructions (#295)

  Show description for f2a3172
  

  lsf37

  and

  Indanz

  authored
  f2a3172

  Copy full SHA for f2a3172

Commits on Jul 21, 2025

• copy button: narrower CSS selector

  Show description for 8095d01
  

  lsf37

  authored and

  Indanz

  committed
  8095d01

  Copy full SHA for 8095d01

Commits on Jul 20, 2025

• seL4-deps: fix link to repo-cheatsheet

  Show description for c1d7a92
  

  doomdagadiggiedahdah

  authored and

  lsf37

  committed
  c1d7a92

  Copy full SHA for c1d7a92

Commits on Jul 17, 2025

• sel4test: make instructions linear

  Show description for f454cc4
  lsf37

  committed
  f454cc4

  Copy full SHA for f454cc4

• Add xxd to dependencies

  Show description for d861383
  lsf37

  committed
  d861383

  Copy full SHA for d861383

Pagination

Previous

Next