Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 11, 2025

• Pin to Python 3.12

  Show description for bd45f0e
  Ivan-Velickovic

  committed
  bd45f0e

  Copy full SHA for bd45f0e

Commits on Mar 10, 2025

• libmicrokit: fix UB with error reporting

  Show description for 064cffd
  Ivan-Velickovic

  committed
  064cffd

  Copy full SHA for 064cffd

• monitor: better debug info when untypeds mismatch

  Show description for 741df6b
  Ivan-Velickovic

  committed
  741df6b

  Copy full SHA for 741df6b

Commits on Mar 9, 2025

• Fix a typo in build_sdk.py

  Show description for 8b24ee0
  

  yf13

  authored and

  Ivan-Velickovic

  committed
  8b24ee0

  Copy full SHA for 8b24ee0

• manual: fix typo

  Show description for 5a74353
  Ivan-Velickovic

  committed
  5a74353

  Copy full SHA for 5a74353

• manual: mention internals chapter in intro

  Show description for a333e24
  Ivan-Velickovic

  committed
  a333e24

  Copy full SHA for a333e24

Commits on Mar 7, 2025

• libmicrokit: fix error reporting for channels

  Show description for d8fb6d6
  Ivan-Velickovic

  committed
  d8fb6d6

  Copy full SHA for d8fb6d6

• Start 2.0.0-dev release cycle

  Show description for 5c5d2b2
  Ivan-Velickovic

  committed
  5c5d2b2

  Copy full SHA for 5c5d2b2

Commits on Mar 6, 2025

• manual: mention Linux AArch64 support

  Show description for 662995b
  Ivan-Velickovic

  committed
  662995b

  Copy full SHA for 662995b

• build_sdk.py: fix when host is Linux AArch64

  Show description for ce34bd7
  Ivan-Velickovic

  committed
  ce34bd7

  Copy full SHA for ce34bd7

• Release 2.0.0

  Show description for 8aeb9f9
  Ivan-Velickovic

  committed
  8aeb9f9

  Copy full SHA for 8aeb9f9

• Add 2.0.0 release notes

  Show description for a183bcb
  Ivan-Velickovic

  committed
  a183bcb

  Copy full SHA for a183bcb

• tool: improve error reporting for allocations

  Show description for 16669b5
  Ivan-Velickovic

  committed
  16669b5

  Copy full SHA for 16669b5

• Update seL4 version

  Show description for 476c394
  Ivan-Velickovic

  committed
  476c394

  Copy full SHA for 476c394

• Add .pdf to gitignore

  Show description for 8ecb237
  Ivan-Velickovic

  committed
  8ecb237

  Copy full SHA for 8ecb237

Commits on Mar 5, 2025

• tool/microkit: fix SchedContext allocation size

  Show description for 8871dc8
  

  matneutrality

  authored and

  Ivan-Velickovic

  committed
  8871dc8

  Copy full SHA for 8871dc8

• Update seL4 version

  Show description for 660f459
  Ivan-Velickovic

  committed
  660f459

  Copy full SHA for 660f459

• fix relocation range-checking bug

  Show description for 8645183
  

  alwin-joshy

  authored and

  Ivan-Velickovic

  committed
  8645183

  Copy full SHA for 8645183

• loader: minor fixes/cleanup

  Show description for 199e41a
  Ivan-Velickovic

  committed
  199e41a

  Copy full SHA for 199e41a

• Fix loader link address for QEMU virt RISC-V

  Show description for 379ef51
  Ivan-Velickovic

  committed
  379ef51

  Copy full SHA for 379ef51

• loader: add relocation logging and move magic

  Show description for cfe76ca
  

  alwin-joshy

  authored and

  Ivan-Velickovic

  committed
  cfe76ca

  Copy full SHA for cfe76ca

• riscv64: make the microkit loader relocatable

  Show description for a6931af
  

  alwin-joshy

  authored and

  Ivan-Velickovic

  committed
  a6931af

  Copy full SHA for a6931af

• aarch64: make the microkit loader relocatable

  Show description for 8d216d3
  

  alwin-joshy

  authored and

  Ivan-Velickovic

  committed
  8d216d3

  Copy full SHA for 8d216d3

• tool: imrpovements to help output

  Show description for 073c948
  Ivan-Velickovic

  committed
  073c948

  Copy full SHA for 073c948

• manual: various fixes/improvements

  Show description for 85f08e3
  Ivan-Velickovic

  committed
  85f08e3

  Copy full SHA for 85f08e3

Commits on Mar 4, 2025

• libmicrokit: style

  Show description for c7bd419
  Ivan-Velickovic

  committed
  c7bd419

  Copy full SHA for c7bd419

• libmicrokit: more error reporting

  Show description for a957134
  Ivan-Velickovic

  committed
  a957134

  Copy full SHA for a957134

• tool: ensure correct stack pointer alignment

  Show description for 17af616
  Ivan-Velickovic

  committed
  17af616

  Copy full SHA for 17af616

• tool: succumb to clippy

  Show description for 64be8c2
  Ivan-Velickovic

  committed
  64be8c2

  Copy full SHA for 64be8c2

• Fix path issues with manual

  Show description for c7e685f
  Ivan-Velickovic

  committed
  c7e685f

  Copy full SHA for c7e685f

• manual: add section on internals

  Show description for 4642c5b
  Ivan-Velickovic

  committed
  4642c5b

  Copy full SHA for 4642c5b

• manual: fixes

  Show description for dbe0c7d
  Ivan-Velickovic

  committed
  dbe0c7d

  Copy full SHA for dbe0c7d

Commits on Mar 2, 2025

• Unify allocation method

  Show description for 8928884
  Ivan-Velickovic

  committed
  8928884

  Copy full SHA for 8928884

• Fix bug with fixed allocations

  Show description for 5b8e297
  

  alwin-joshy

  authored and

  Ivan-Velickovic

  committed
  5b8e297

  Copy full SHA for 5b8e297

Commits on Feb 13, 2025

• loader: fix qemu GIC addresses

  Show description for d2c4397
  

  midnightveil

  authored and

  Ivan-Velickovic

  committed
  d2c4397

  Copy full SHA for d2c4397

Pagination

Previous

Next