Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 31, 2025

• Add example/rust

  Show description for 05eec71
  Ivan-Velickovic

  committed
  05eec71

  Copy full SHA for 05eec71

• manual: add section on language support

  Show description for 41a4bdc
  Ivan-Velickovic

  committed
  41a4bdc

  Copy full SHA for 41a4bdc

Commits on Jan 22, 2025

• README: wording fix and remove date from toolchain

  Show description for d19d1d2
  Ivan-Velickovic

  committed
  d19d1d2

  Copy full SHA for d19d1d2

Commits on Jan 20, 2025

• Remove example/ariane

  Show description for 20280ba
  Ivan-Velickovic

  committed
  20280ba

  Copy full SHA for 20280ba

• Fixes for debug-mode TCB naming

  Show description for e74e7f5
  Ivan-Velickovic

  committed
  e74e7f5

  Copy full SHA for e74e7f5

• Added support for Ariane (CVA6) [riscv]

  Show description for 34355c8
  

  Matt Rossouw

  authored and

  Ivan-Velickovic

  committed
  34355c8

  Copy full SHA for 34355c8

Commits on Jan 10, 2025

• tool: fix integer overflow when parsing ELFs

  Show description for a76d8bb
  Ivan-Velickovic

  committed
  a76d8bb

  Copy full SHA for a76d8bb

Commits on Jan 9, 2025

• ci: include os/arch in per-commit tar filenames

  Show description for a8b7894
  Ivan-Velickovic

  committed
  a8b7894

  Copy full SHA for a8b7894

• monitor: fix patched variables to not be static

  Show description for 2e27422
  Ivan-Velickovic

  committed
  2e27422

  Copy full SHA for 2e27422

Commits on Jan 7, 2025

• Name VM TCBs in debug mode as well

  Show description for 9a8aba7
  Ivan-Velickovic

  committed
  9a8aba7

  Copy full SHA for 9a8aba7

Commits on Jan 6, 2025

• tool: improve error message

  Show description for dc10ac5
  Ivan-Velickovic

  committed
  dc10ac5

  Copy full SHA for dc10ac5

• monitor: report potential stack overflows

  Show description for 453dc2d
  Ivan-Velickovic

  committed
  453dc2d

  Copy full SHA for 453dc2d

Commits on Dec 24, 2024

• README: mention i.MX8MP-EVK support

  Show description for 1d36453
  Ivan-Velickovic

  committed
  1d36453

  Copy full SHA for 1d36453

Commits on Dec 23, 2024

• Refactor examples for handling many boards

  Show description for 6b3ccd4
  Ivan-Velickovic

  committed
  6b3ccd4

  Copy full SHA for 6b3ccd4

Commits on Dec 22, 2024

• Fix style in monitor/src/util.c

  Show description for 229ebea
  Ivan-Velickovic

  committed
  229ebea

  Copy full SHA for 229ebea

• tool: succumb to rust-fmt

  Show description for c9af9ee
  Ivan-Velickovic

  committed
  c9af9ee

  Copy full SHA for c9af9ee

• Utilise seL4_DebugNameThread for debugging

  Show description for b692b37
  Ivan-Velickovic

  committed
  b692b37

  Copy full SHA for b692b37

Commits on Nov 24, 2024

• Fix examples for channel PPC change

  Show description for 9bc4568
  Ivan-Velickovic

  committed
  9bc4568

  Copy full SHA for 9bc4568

Commits on Nov 1, 2024

• tool: fix defaulting to largest page size

  Show description for 12f328c
  Ivan-Velickovic

  committed
  12f328c

  Copy full SHA for 12f328c

Commits on Oct 31, 2024

• tool: use .system for tests instead of .xml

  Show description for 94b5eed
  Ivan-Velickovic

  committed
  94b5eed

  Copy full SHA for 94b5eed

Commits on Oct 30, 2024

• tool: add tests for parsing virtual machines

  Show description for f8ddfbb
  Ivan-Velickovic

  committed
  f8ddfbb

  Copy full SHA for f8ddfbb

• tool: check for valid mappings in virtual machines

  Show description for cf833e9
  Ivan-Velickovic

  committed
  cf833e9

  Copy full SHA for cf833e9

• Change default MR page size behaviour

  Show description for d7e63d5
  Ivan-Velickovic

  committed
  d7e63d5

  Copy full SHA for d7e63d5

Commits on Oct 28, 2024

• README: missing SDK layout dirs/files

  Show description for 01a2780
  Ivan-Velickovic

  committed
  01a2780

  Copy full SHA for 01a2780

• Add VERSION file to SDK layout

  Show description for 87ed491
  Ivan-Velickovic

  committed
  87ed491

  Copy full SHA for 87ed491

• flake.nix: use correct bintools for ARM

  Show description for 76517ae
  Ivan-Velickovic

  committed
  76517ae

  Copy full SHA for 76517ae

Commits on Oct 25, 2024

• Fix bintools in Nix flake for macOS

  Show description for 17b1c4f
  Ivan-Velickovic

  committed
  17b1c4f

  Copy full SHA for 17b1c4f

• build_sdk.py: remove accidental debug print

  Ivan-Velickovic

  committed
  b1610a0

  Copy full SHA for b1610a0

• README: reorganise setup instructions

  Show description for 7e3878b
  Ivan-Velickovic

  committed
  7e3878b

  Copy full SHA for 7e3878b

• Add initial Nix flake for development shell

  Show description for c3ebee6
  Ivan-Velickovic

  committed
  c3ebee6

  Copy full SHA for c3ebee6

• build_sdk: fix bug with overriding toolchain

  Show description for b8573a5
  Ivan-Velickovic

  committed
  b8573a5

  Copy full SHA for b8573a5

Commits on Oct 24, 2024

• Load invocation numbers from JSON file

  Show description for 860bce3
  

  alwin-joshy

  authored and

  Ivan-Velickovic

  committed
  860bce3

  Copy full SHA for 860bce3

• Update seL4 version

  Show description for 2ad10e6
  Ivan-Velickovic

  committed
  2ad10e6

  Copy full SHA for 2ad10e6

• Add support for Pine64 RockPro64

  Show description for 9504165
  Ivan-Velickovic

  committed
  9504165

  Copy full SHA for 9504165

Commits on Oct 23, 2024

• tool: enforce the protected procedure priorities

  Show description for d4d08d3
  

  midnightveil

  authored and

  Ivan-Velickovic

  committed
  d4d08d3

  Copy full SHA for d4d08d3

Pagination

Previous

Next