Commit graph

Select branches

Hide pull requests

master

0.0.1-rt-dev

1.0.0-rt-dev

1.0.3

1.0.4

10.0.0

10.0.0-mcs

10.1.0

10.1.1

10.1.1-mcs

11.0.0

12.0.0

12.1.0

13.0.0

14.0.0

15.0.0

2.0.0

2.1.0

3.0.0

3.0.1

3.1.0

3.2.0

4.0.0

5.0.0

5.1.0

5.2.0

5.2.0-mcs

6.0.0

7.0.0

8.0.0

9.0.0

9.0.0-mcs

9.0.1

API-experimental-01-03--release-2014-07-29

API-experimental-01-03--release-2014-08-10

API-master-01-03--release-2014-07-29

API-master-01-03--release-2014-08-10

arm_hyp-deprecated

experimental-deprecated

mcs-tutorials

microkit-pre-2.1.0

rt-deprecated

x86_64-deprecated

Mono Color

• ee19cb313d ci: add aurelio mirror action master Aurelio CI 2026-07-11 18:59:44 +0100
• b57b3de195 libsel4: export seL4_IOPageTable{Index,Entry}Bits Julia Vassiliki 2026-07-08 16:13:12 +1000
• c4b44a24b4 arm64: print debug info for invalid vector entry Julia Vassiliki 2026-07-03 16:33:15 +1000
• 535c377f20 aarch64: remove VM_EVENT_{XX}_ABORT from traps.S Julia Vassiliki 2026-07-03 16:31:21 +1000
• b7ef16a42d Add support for Raspberry Pi 5B Ivan Velickovic 2025-09-22 12:27:29 +1000
• 973cbf4e08 Add support for ARM Cortex-A76 Ivan Velickovic 2025-09-17 14:30:49 +1000
• d0e0a6a5a2 x86,c_traps: avoid PC corruption in kernel lock Gerwin Klein 2026-07-05 19:56:24 +1000
• eba3cc75f9 arm,riscv boot.c: remove never-emitted padding Terry Bai 2026-07-06 10:45:31 +1000
• da39bd7884 x86/boot.c: remove trailing padding block Terry Bai 2026-06-24 16:26:53 +1000
• b161c3fe98 configs: add all current RISC-V platforms Gerwin Klein 2026-06-30 10:57:20 +1000
• 807df568b9 configs: add stm32mp2 verified config Gerwin Klein 2026-06-30 10:52:32 +1000
• c8526a426f libsel4: deprecate old seL4_UserTop constant Julia Vassiliki 2026-06-30 15:25:10 +1000
• dbc3da9d97 libsel4: add new seL4_UserVSpaceTop constant Julia Vassiliki 2026-06-24 12:48:47 +1000
• 232471e90f Fix MCS / ARM VCPU interrupt interaction, try 3 Indan Zupancic 2026-05-21 23:37:45 +0100
• ae11cf1450 tools: Support multiple methods with the same id Corey Lewis 2022-08-31 15:58:47 +1000
• f2ab32d203 Debug, x86: Fix seL4_DebugGetThreadAffinity Indan Zupancic 2026-06-22 14:43:54 +0100
• 90b5159800 debug: add get thread affinity syscall Julia Vassiliki 2026-05-12 10:44:34 +1000
• 4ee903cf50 syscall xml: only define DebugSendIPI when SMP Julia Vassiliki 2026-05-14 10:55:12 +1000
• 82aaae6a89 pc99/acpi: align access for each MADT entry Bill Nguyen 2026-06-18 11:15:04 +1000
• a3c2db0ea8 pc99/acpi: validate BIOS provided MADT entry size Bill Nguyen 2026-06-18 12:12:45 +1000
• 479b282248 arm,hyp: default KernelArmVtimerUpdateVOffset OFF Gerwin Klein 2026-06-05 10:36:52 +1000
• f0c0fdc6cf github: use new build matrix Gerwin Klein 2026-06-14 10:00:43 +1000
• c1c9dd5bff tools/reciprocal.py: Avoid 'past' module (#1590) Tim Retout 2026-06-10 20:36:21 +0100
• edcb605fee
  pc99/acpi: fix interrupt source override padding (#1665) Bill Nguyen 2026-06-12 14:41:09 +1000
• 868454e1d6 trivial: cmake style update for helpers.cmake Gerwin Klein 2026-06-12 12:16:42 +1000
• c377a3233a cmake: set policy CMP0174 when it exists Gerwin Klein 2026-06-12 12:08:00 +1000
• d82b2049a7 mcs: add cmake file for verified AARCH64 MCS Michael McInerney 2026-06-11 14:44:46 +0930
• a15e9a32a2 mcs: add check for preemption to SysReplyRecv Michael McInerney 2026-05-29 11:03:59 +0930
• 93f73a49ad tcb: make validFaultHandler available Gerwin Klein 2026-06-02 09:26:57 +1000
• 5d371316ff mcs: fix missing cap fault info in lookupReply Gerwin Klein 2026-05-26 14:05:45 +1000
• c119df0357 mcs: fix missing cap fault info in sendFaultIPC Michael McInerney 2026-05-29 11:11:19 +0930
• 2d4c0e1a51 mcs: refactor validFaultHandler for readability Michael McInerney 2026-05-29 11:10:43 +0930
• 7eac2ceab8 x86/c_traps.c: add clobbers in 32-bit VMX restore Bill Nguyen 2026-05-25 13:05:00 +1000
• 84d60b58a1 x86_64/c_traps.c: fix registers clobbering in VMX Bill Nguyen 2026-05-21 10:37:43 +1000
• 76389088b2 x86, 32bit, HYP: Fix style Indan Zupancic 2026-05-28 17:27:44 +0100
• 87421cf7b2 x85, SMP: Fix compile error Indan Zupancic 2026-05-28 17:17:53 +0100
• c6c84d7aef x86, 32bit, SMP, HYP: Remove unused vcpu.kernelSP Indan Zupancic 2026-05-28 17:15:01 +0100
• 9d84967424 github: bump GH action versions Gerwin Klein 2026-05-28 12:07:26 +1000
• e912dff734 x86,SMP: fix VMCheckBoundNotification call Ivan Velickovic 2026-05-23 09:35:49 +1000
• c962e51e3b constants: decrease TCB_SIZE_BITS for some configs Gerwin Klein 2026-05-22 15:51:32 +1000
• 7c11116b65 fastpath: apply MCS queue changes to signal FP Gerwin Klein 2026-05-22 15:38:15 +1000
• 2f1b0708b3 x86_64/c_traps.c: fix compile error Bill Nguyen 2026-05-22 10:17:15 +1000
• 771c9e43ce mcs: handle endpoint and ntfn queues uniformly Michael McInerney 2025-12-04 16:58:16 +1030
• 1ff6c16e6f x86_64/c_traps.c: patch Virtual Machine escape Bill Nguyen 2026-05-21 09:51:53 +1000
• e7121974af x86,SMP: Fix compile errors Indan Zupancic 2026-05-21 12:48:25 +0100
• c8ae3010bc x86,SMP: Fix VMCheckBoundNotification IPI handling Indan Zupancic 2026-04-09 17:17:54 +0100
• f0535f9e18 x86_64/traps.S: fix UBSAN crash when kernel except Bill Nguyen 2026-05-19 13:33:40 +1000
• b050e4b78d x86_64/vspace: made init_syscall_msrs not bootcode Bill Nguyen 2026-05-20 10:51:09 +1000
• 3527859e72 workflows: use ${{ variable }} not invalid $${{ Julia Vassiliki 2026-05-15 10:34:35 +1000
• 4220e60371 CHANGES: log stm32mp2 support Gerwin Klein 2026-04-30 19:10:00 +0200
• c75cf0e2da Add support for stm32mp2 SoC family Christian Bruel 2024-01-10 13:48:47 +0100
• a0b4f2d25d manual: Reorg riscv32/64 hardware objects Yanfeng Liu 2026-05-04 16:21:29 +0800
• 744104654d x86/vcpu: expose VMX-preemption timer scale MSR Bill Nguyen 2026-04-29 17:57:48 +0700
• 3fc42873f3 mcs: refactor some functions to ease verification Michael McInerney 2025-12-04 17:18:06 +1030
• b62417a292 libsel4/riscv: avoid gcc 14.2 miscompilation Gerwin Klein 2026-05-07 12:57:48 +0200
• 506f20d696 CHANGES.md: add missing copyright Gerwin Klein 2026-05-06 13:39:39 +0200
• 0e7ddd3d75 trivial,cmake: Update cmake for style Kent McLeod 2026-03-12 12:33:39 +1100
• daa0dfb147 manual: updated EPT invocations to make it clearer Bill Nguyen 2026-04-21 11:55:25 +1000
• 79b104a3a1 manual: fix incorrect args desc for X86PageMapEPT Bill Nguyen 2026-04-20 16:04:34 +1000
• 82a1a8f48f suspend: move call to setThreadState Michael McInerney 2025-12-04 17:08:31 +1030
• 19a520a22b Respect count in TCB_Write/ReadRegisters via loop yifei@zhan.science 2026-04-09 00:03:42 -0400
• 061017b242 github: provide base ref for preprocess check Gerwin Klein 2026-04-10 20:08:17 +1000
• 727ccd140f scheduleTCB: simplify scheduler action logic Michael McInerney 2025-12-04 17:11:46 +1030
• d3a0f5f7b9 github: update artifact path Gerwin Klein 2026-04-07 14:06:46 +1000
• f4a7417f66 arm,cmake: make verification and release equal Gerwin Klein 2026-04-02 16:26:21 +1100
• 3f590a6027 Update VERSION file to 15.0.0-dev seL4 CI 2026-03-31 10:27:53 +1100
• 881de507fe Release 15.0.0 15.0.0 seL4 CI 2026-03-31 10:27:53 +1100
• 06063ec309 CHANGES: updates for upcoming release Gerwin Klein 2026-03-31 09:50:04 +1100
• 55c1ea653c style: Style cmake for qemu-arm-virt platform Kent McLeod 2026-03-28 08:14:53 +1100
• d500b97512 qemu-arm-virt: add GICv3 support and GIC_VERSION Kent McLeod 2026-03-27 21:14:57 +1100
• 27a52ddd4c Runtime Domain Schedules Indan Zupancic 2025-08-15 16:38:55 +0100
• f32f2a53d2 Export timer frequency to user space Indan Zupancic 2026-01-19 13:00:16 +0000
• 235f90f60e x86/vcpu: Expose VMX 2nd proc control to userspace Bill Nguyen 2026-03-03 10:49:27 +1100
• 0d2c70c7f0 x86/vcpu: Do not force 64-bit VCPU mode Bill Nguyen 2026-03-03 10:47:19 +1100
• 1beb9c0064 x86/vcpu: Expose VMX entry controls to userspace Bill Nguyen 2026-03-03 10:19:32 +1100
• f82e8dc9da x86/vcpu: Allow CR0.PE and CR0.PG to be cleared Bill Nguyen 2026-03-03 09:57:41 +1100
• ebbda2af5a x86: Fix AMD CPU model assignment typo Weixie Cui 2026-03-19 08:15:36 +0800
• c406015c38 cmake: remove default flags added to the compiler Julia Vassiliki 2025-03-24 17:44:21 +1100
• a478be32d5 cmake,arm: replace DDEBUG with CONFIG_DEBUG_BUILD Julia Vassiliki 2025-03-24 17:02:05 +1100
• 119338b48b trivial: cmake style Julia Vassiliki 2026-03-12 10:48:42 +1100
• 4cdc428082 CMake style all changed files Kent McLeod 2026-03-12 11:19:51 +1100
• bfb45ec550 gh-548: Update use of cmake_minimum_required cmd Kent McLeod 2026-03-10 15:05:32 +1100
• d40bad3a9a aarch64,fpu,hyp: do not trap CPACR_EL1 acceses Hesham Almatary 2026-03-10 08:22:19 +0000
• efd9426e17 mcs: use local variable in restart Michael McInerney 2026-02-25 11:53:18 +1030
• b5cc70d753 libsel4: make thread-local ipc buffer optional Julia Vassiliki 2026-02-13 10:56:08 +1100
• b5d53702d4 trivial: adjust style for cmake-format Julia Vassiliki 2026-02-25 11:58:21 +1100
• 7dc04b9a4c Arm SMMU: Set CB_INVALID for initial task Indan Zupancic 2026-02-04 20:59:52 +0000
• 56b42cf87e github: update Isabelle branch for MCS proofs Gerwin Klein 2026-02-18 13:40:37 +1100
• 3cb4dc0665 trivial: update cmake style Gerwin Klein 2025-12-15 10:23:30 +1100
• d4a8aac853 arm,smc: verification refactor of decode/invoke Gerwin Klein 2025-10-20 09:04:07 +1100
• 100f76565f arm,smc: switch statement cleanup Gerwin Klein 2025-11-28 12:26:45 +1100
• d2341c88d9 arm,smc: set SMC to on for verified AArch64 Gerwin Klein 2025-10-20 09:07:04 +1100
• d16c975677 mcs: refactor finaliseCap to ease verification Michael McInerney 2025-05-06 14:39:47 +0930
• 8d569b8e65 mcs: refactor decodeSchedControl_ConfigureFlags Michael McInerney 2025-05-03 00:18:33 +0930
• c55f50b6e5 manual: correct alignment of IPC buffer Julia Vassiliki 2026-01-30 16:45:06 +1100
• 04db8cebcc x86: skip clock_sync_test on QEMU Ivan Velickovic 2026-01-08 20:41:50 +1100
• 33636e983d Cleanup: Use fpuRelease Indan Zupancic 2025-12-14 01:47:27 +0000
• c88c066a83 SMP: Only migrate when needed Indan Zupancic 2025-12-14 01:29:06 +0000
• 1340539b10 manual: add seL4_X86_EPT_VMAttributes Bill Nguyen 2025-12-18 11:03:44 +1100
• 2bdafbf7c3 libsel4: fix attribute type for x86 EPT invocation Bill Nguyen 2025-12-18 11:02:52 +1100