Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 2, 2025

• cleanup: remove obselete pageType and asidMax

  Show description for 349745c
  

  midnightveil

  authored and

  Indanz

  committed
  349745c

  Copy full SHA for 349745c

Commits on Apr 29, 2025

• Update links after seL4 website re-org

  Show description for c03cad0
  lsf37

  committed
  c03cad0

  Copy full SHA for c03cad0

Commits on Apr 27, 2025

• CMake: Use output file diffing from config_gen.py

  Show description for 6a74aba
  

  FennelFoxxo

  authored and

  lsf37

  committed
  6a74aba

  Copy full SHA for 6a74aba

• Build: Add output file diffing to config_gen.py

  Show description for e809434
  

  FennelFoxxo

  authored and

  lsf37

  committed
  e809434

  Copy full SHA for e809434

• Build: Allow optional output in config_gen.py

  Show description for 162a38e
  

  FennelFoxxo

  authored and

  lsf37

  committed
  162a38e

  Copy full SHA for 162a38e

• README: remove outdated pages

  Show description for 1acde06
  lsf37

  committed
  1acde06

  Copy full SHA for 1acde06

Commits on Apr 14, 2025

• treewide: typo fixes

  Show description for eca86cf
  

  midnightveil

  authored and

  lsf37

  committed
  eca86cf

  Copy full SHA for eca86cf

Commits on Apr 4, 2025

• mcs: refactor reply functions to ease verification

  Show description for fd14374
  

  michaelmcinerney

  authored and

  lsf37

  committed
  fd14374

  Copy full SHA for fd14374

Commits on Apr 2, 2025

• Add support for SiFive Premier P550 platform

  Show description for 58f0e87
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  58f0e87

  Copy full SHA for 58f0e87

• Add 'sifive,plic-1.0.0' to PLIC compatible list

  Show description for e633fc7
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  e633fc7

  Copy full SHA for e633fc7

Commits on Apr 1, 2025

• github: deploy mcs verification manifest

  Show description for 38e889d
  lsf37

  committed
  38e889d

  Copy full SHA for 38e889d

Commits on Mar 31, 2025

• configs: mark Ultra96v2 as supported by the proofs

  Show description for 29803c5
  lsf37

  committed
  29803c5

  Copy full SHA for 29803c5

Commits on Mar 27, 2025

• utils: wrap config_set for verification

  Show description for 6d8b1ea
  lsf37

  committed
  6d8b1ea

  Copy full SHA for 6d8b1ea

• Add missing userError for VSpace invocation

  Show description for f7b95a9
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  f7b95a9

  Copy full SHA for f7b95a9

Commits on Mar 21, 2025

• mcs: small changes to ease verification

  Show description for 019e4b6
  

  michaelmcinerney

  authored and

  lsf37

  committed
  019e4b6

  Copy full SHA for 019e4b6

Commits on Mar 19, 2025

• mcs: rephrase invokeSchedControl_ConfigureFlags

  Show description for 52725dd
  

  michaelmcinerney

  authored and

  lsf37

  committed
  52725dd

  Copy full SHA for 52725dd

Commits on Mar 17, 2025

• aarch32/vcpu: save and restore CNTKCTL

  Show description for 9fe04a2
  

  ryybrr

  authored and

  lsf37

  committed
  9fe04a2

  Copy full SHA for 9fe04a2

Commits on Mar 13, 2025

• tools: fix kernel physBase alignment on AArch64

  Show description for 53ed1be
  

  Ivan-Velickovic

  authored and

  lsf37

  committed
  53ed1be

  Copy full SHA for 53ed1be

Commits on Mar 12, 2025

• arm: add vcpu save/restore reg range constants

  Show description for f02bc94
  

  ryybrr

  authored and

  lsf37

  committed
  f02bc94

  Copy full SHA for f02bc94

• aarch64: avoid saving CPACR to a disabled VCPU

  Show description for 8e18a0b
  

  ryybrr

  authored and

  lsf37

  committed
  8e18a0b

  Copy full SHA for 8e18a0b

• aarch64: remove redundant FPU ifdefs

  Show description for 119a189
  

  ryybrr

  authored and

  lsf37

  committed
  119a189

  Copy full SHA for 119a189

• statedata: only define tlbLockCount when needed

  Show description for d047ce8
  

  midnightveil

  authored and

  lsf37

  committed
  d047ce8

  Copy full SHA for d047ce8

Commits on Mar 11, 2025

• CHANGES: describe VCPU timer restore bug

  Show description for 8cf9ca0
  lsf37

  committed
  8cf9ca0

  Copy full SHA for 8cf9ca0

• arm: Save VCPU virt timer registers when disabled

  Show description for 73e6b2e
  

  alisonfel

  authored and

  lsf37

  committed
  73e6b2e

  Copy full SHA for 73e6b2e

Commits on Mar 9, 2025

• mcs: rephrase setNextInterrupt for verification

  Show description for e820aa9
  

  michaelmcinerney

  authored and

  lsf37

  committed
  e820aa9

  Copy full SHA for e820aa9

Commits on Mar 5, 2025

• rpi4,elfloader: select firmware node for smp boot

  Show description for 6059924
  kent-mcleod

  committed
  6059924

  Copy full SHA for 6059924

• boot: Check that predicted page tables were used

  Show description for f2925fa
  kent-mcleod

  committed
  f2925fa

  Copy full SHA for f2925fa

• Fixes #1334: install target fails arm_hyp configs

  Show description for 411ff14
  kent-mcleod

  committed
  411ff14

  Copy full SHA for 411ff14

• Fix Star64 cell size in DTS overlay

  Show description for 6ff48c7
  Ivan-Velickovic

  committed
  6ff48c7

  Copy full SHA for 6ff48c7

• gic_v3,smp: Deactivate PPIs on different cores

  Show description for 2ec8c15
  

  kent-mcleod

  authored and

  lsf37

  committed
  2ec8c15

  Copy full SHA for 2ec8c15

• gicv3: Split EOI mode

  Show description for a4b0c8d
  

  kent-mcleod

  authored and

  lsf37

  committed
  a4b0c8d

  Copy full SHA for a4b0c8d

Commits on Mar 3, 2025

• qemu-riscv-virt,dts: Fix cell size definitions

  Show description for 97559a4
  

  kent-mcleod

  authored and

  lsf37

  committed
  97559a4

  Copy full SHA for 97559a4

• RISC-V: reserve memory for SBI in device tree

  Show description for b657e50
  

  kent-mcleod

  authored and

  lsf37

  committed
  b657e50

  Copy full SHA for b657e50

• riscv32,llvm: Disable floating point by default

  Show description for 6e7e37a
  kent-mcleod

  committed
  6e7e37a

  Copy full SHA for 6e7e37a

Commits on Mar 1, 2025

• gic_v3: Remove non-existent register bit

  Show description for 85ea1a4
  

  kent-mcleod

  authored and

  Indanz

  committed
  85ea1a4

  Copy full SHA for 85ea1a4

Pagination

Previous

Next