Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2025

• base: temporarily switch off analytics (#544)

  Show description for cbabd42
  lsf37

  authored
  cbabd42

  Copy full SHA for cbabd42

Commits on Dec 19, 2025

• performance: describe the benchmark FPU config

  Show description for ae25e9b
  

  midnightveil

  authored and

  lsf37

  committed
  ae25e9b

  Copy full SHA for ae25e9b

Commits on Dec 18, 2025

• CI: update performance results

  Show description for a6446b9
  seL4-ci

  committed
  a6446b9

  Copy full SHA for a6446b9

• news: seL4 international (#542)

  Show description for a930975
  june-andronick

  authored
  a930975

  Copy full SHA for a930975

• CI: update performance results

  Show description for 37c6dc6
  seL4-ci

  committed
  37c6dc6

  Copy full SHA for 37c6dc6

Commits on Dec 15, 2025

• ignore leopoldina link

  Show description for f303bd3
  lsf37

  committed
  f303bd3

  Copy full SHA for f303bd3

• board: update link in Gernot's bio

  Show description for 50c3171
  lsf37

  committed
  50c3171

  Copy full SHA for 50c3171

• platforms: sync with doc site

  Show description for 2d2666e
  lsf37

  committed
  2d2666e

  Copy full SHA for 2d2666e

Commits on Dec 14, 2025

• Summit 2026 announcement (#540)

  Show description for af967d0
  bbrcknl

  authored
  af967d0

  Copy full SHA for af967d0

• CI: update performance results

  Show description for 3d38867
  seL4-ci

  committed
  3d38867

  Copy full SHA for 3d38867

Commits on Dec 10, 2025

• CI: update performance results

  Show description for 6d3bdb3
  seL4-ci

  committed
  6d3bdb3

  Copy full SHA for 6d3bdb3

Commits on Dec 9, 2025

• CI: update performance results

  Show description for 3ba8171
  seL4-ci

  committed
  3ba8171

  Copy full SHA for 3ba8171

• CI: update performance results

  Show description for c407b19
  seL4-ci

  committed
  c407b19

  Copy full SHA for c407b19

Commits on Nov 30, 2025

• add signed BM minutes (#534)

  Show description for 955d9c6
  bbrcknl

  authored
  955d9c6

  Copy full SHA for 955d9c6

Commits on Nov 28, 2025

• Adjust webserver diagram

  Show description for fbfd6e0
  Ivan-Velickovic

  committed
  fbfd6e0

  Copy full SHA for fbfd6e0

• Style webserver diagram

  Show description for 4c70afd
  Ivan-Velickovic

  committed
  4c70afd

  Copy full SHA for 4c70afd

• More wording fixes on webserver page

  Show description for 1acf9a6
  Ivan-Velickovic

  committed
  1acf9a6

  Copy full SHA for 1acf9a6

• Update webserver architecture diagram

  Show description for 766bc65
  Ivan-Velickovic

  committed
  766bc65

  Copy full SHA for 766bc65

• Update webserver architecture diagram

  Show description for ecf496c
  Ivan-Velickovic

  committed
  ecf496c

  Copy full SHA for ecf496c

Commits on Nov 27, 2025

• CI: update performance results

  Show description for 63f325e
  seL4-ci

  committed
  63f325e

  Copy full SHA for 63f325e

• CI: update performance results

  Show description for 5420986
  seL4-ci

  committed
  5420986

  Copy full SHA for 5420986

• News item for seL4 14.0.0++ release

  Show description for 3e45057
  lsf37

  committed
  3e45057

  Copy full SHA for 3e45057

• Add TSC vote records

  Show description for 55ca29f
  lsf37

  committed
  55ca29f

  Copy full SHA for 55ca29f

Commits on Nov 26, 2025

• roadmap: verification update

  Show description for 2a7dce0
  lsf37

  committed
  2a7dce0

  Copy full SHA for 2a7dce0

Commits on Nov 25, 2025

• CI: update performance results

  Show description for 4a5cca7
  seL4-ci

  committed
  4a5cca7

  Copy full SHA for 4a5cca7

• Add manual for seL4 14.0.0

  Show description for d071758
  lsf37

  committed
  d071758

  Copy full SHA for d071758

• CI: update performance results

  Show description for f5771a1
  seL4-ci

  committed
  f5771a1

  Copy full SHA for f5771a1

Commits on Nov 24, 2025

• CI: update performance results

  Show description for 9fab280
  seL4-ci

  committed
  9fab280

  Copy full SHA for 9fab280

• CI: update performance results

  Show description for cb407f3
  seL4-ci

  committed
  cb407f3

  Copy full SHA for cb407f3

• CI: update performance results

  Show description for c779da4
  seL4-ci

  committed
  c779da4

  Copy full SHA for c779da4

Commits on Nov 22, 2025

• CI: update performance results

  Show description for 832c75f
  seL4-ci

  committed
  832c75f

  Copy full SHA for 832c75f

Commits on Nov 21, 2025

• CI: update performance results

  Show description for 7a5d12f
  seL4-ci

  committed
  7a5d12f

  Copy full SHA for 7a5d12f

Commits on Nov 20, 2025

• CI: update performance results

  Show description for 69a77c4
  seL4-ci

  committed
  69a77c4

  Copy full SHA for 69a77c4

Commits on Nov 19, 2025

• CI: update performance results

  Show description for 8f22b20
  seL4-ci

  committed
  8f22b20

  Copy full SHA for 8f22b20

• CI: update performance results

  Show description for 52f7157
  seL4-ci

  committed
  52f7157

  Copy full SHA for 52f7157

Pagination

Previous

Next