Commit Graph

Select branches

Hide Pull Requests

aos

axel-h/ci-base

cmillar/asid-map

df-public

exynos5-ver

imx8-fpu-ver

imx8-fpu-ver-v11

jade/msi

kent/riscv-fp-clear-res

lsf37/cython

lsf37/no-clock-sync-riscv

lsf37/riscv-clock-test

master

mbrcknl/bv-ci

mbrcknl/mcs-grant-via-reply

mbrcknl/mcs-grant-via-reply-alt

mbrcknl/preprocess-deploy-mcs

michaelm/ipc_queues

microkit

misra-12.1.0-changes

qge/arm-smmu-v2

riscv-binary-verification

riscv_he_v0.6

riscv_hyp

rk3288

smc-ifdef

sylvain/gic-v3

sylvain/zynqmp

xu4_vmm_wip

zynqmp-12.0.0

zynqmp-fpu-ver-v11

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

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

rt-deprecated

x86_64-deprecated

Mono Color

• efd9426e17 mcs: use local variable in restart master Michael McInerney 2026-02-25 11:53:18 +10:30
• b5cc70d753 libsel4: make thread-local ipc buffer optional Julia Vassiliki 2026-02-13 10:56:08 +11:00
• b5d53702d4 trivial: adjust style for cmake-format Julia Vassiliki 2026-02-25 11:58:21 +11:00
• 7dc04b9a4c Arm SMMU: Set CB_INVALID for initial task Indan Zupancic 2026-02-04 20:59:52 +00:00
• 973825aff9 aarch64,smc: remove KernelAllowSMCCalls smc-ifdef Gerwin Klein 2026-02-18 13:52:29 +11:00
• a53d8544ff aarch64,smc: reduce #ifdef use Gerwin Klein 2026-02-17 14:02:08 +11:00
• 56b42cf87e github: update Isabelle branch for MCS proofs Gerwin Klein 2026-02-18 13:40:37 +11:00
• 3cb4dc0665 trivial: update cmake style Gerwin Klein 2025-12-15 10:23:30 +11:00
• d4a8aac853 arm,smc: verification refactor of decode/invoke Gerwin Klein 2025-10-20 09:04:07 +11:00
• 100f76565f arm,smc: switch statement cleanup Gerwin Klein 2025-11-28 12:26:45 +11:00
• d2341c88d9 arm,smc: set SMC to on for verified AArch64 Gerwin Klein 2025-10-20 09:07:04 +11:00
• d16c975677 mcs: refactor finaliseCap to ease verification Michael McInerney 2025-05-06 14:39:47 +09:30
• 8d569b8e65 mcs: refactor decodeSchedControl_ConfigureFlags Michael McInerney 2025-05-03 00:18:33 +09:30
• c55f50b6e5 manual: correct alignment of IPC buffer Julia Vassiliki 2026-01-30 16:45:06 +11:00
• a439cbabda mcs: add define for tcbEPPrev/Next in MCS squash michaelm/ipc_queues Michael McInerney 2026-01-15 14:25:53 +10:30
• 067fb6842f mcs: handle endpoint and ntfn queues uniformly Michael McInerney 2025-12-04 16:58:16 +10:30
• 04db8cebcc x86: skip clock_sync_test on QEMU Ivan Velickovic 2026-01-08 20:41:50 +11:00
• 33636e983d Cleanup: Use fpuRelease Indan Zupancic 2025-12-14 01:47:27 +00:00
• c88c066a83 SMP: Only migrate when needed Indan Zupancic 2025-12-14 01:29:06 +00:00
• 1340539b10 manual: add seL4_X86_EPT_VMAttributes Bill Nguyen 2025-12-18 11:03:44 +11:00
• 2bdafbf7c3 libsel4: fix attribute type for x86 EPT invocation Bill Nguyen 2025-12-18 11:02:52 +11:00
• d648c5dd53 trivial: align for better readability Gerwin Klein 2026-01-08 14:40:27 +11:00
• c9f3c64162 bf structs: eliminate BF_CANONICAL_RANGE #ifdefs Gerwin Klein 2026-01-07 16:54:37 +11:00
• e9c89bcac0 bfgen: add field_ptr(align) name size Gerwin Klein 2026-01-07 15:53:44 +11:00
• 29b63be21d bfgen: allow simple arithmetic integer expressions Gerwin Klein 2026-01-07 10:30:19 +11:00
• 717cf90201 Aarch64: Drop ISBs in enableFpu/disableFpu Indan Zupancic 2025-12-14 00:25:47 +00:00
• 67f9a1002c x86: Added missing BOOT_CODE annotation Seph Gentle 2025-12-18 18:04:12 +11:00
• 78c3b11a02 FPU: Fix task enabling FPU for itself Indan Zupancic 2025-12-16 14:15:37 +00:00
• 2bef61b9da Fix style Jakub Duchniewicz 2025-11-24 13:19:57 +11:00
• bce8202afe Rename the platform to uppercase Jakub Duchniewicz 2025-11-17 10:30:55 +11:00
• 51f571efce Add support for rock3b Jakub Duchniewicz 2025-10-22 16:19:02 +11:00
• 0fec79db4b x86: update deprecated message register define Bill Nguyen 2025-12-09 09:51:22 +11:00
• 704f80b9be libsel4: fix incorrect seL4_VMEnter() description Bill Nguyen 2025-12-02 19:34:28 +11:00
• b0567c4d1c benchmark: fix thread utils on riscv's fastpath Rihui Wu 2025-12-05 11:50:43 +11:00
• 4f7d7b7376 Add support for the Banana Pi BPI-F3 Akif Ejaz 2025-10-30 18:30:51 +05:00
• c0749e6227 x86_64: Fix boot code error reporting Mathieu Mirmont 2024-10-25 15:42:38 +02:00
• 233c984e3b Update VERSION file to 14.0.0-dev seL4 CI 2025-11-25 09:28:19 +11:00
• c0fc32450f Release 14.0.0 14.0.0 seL4 CI 2025-11-25 09:28:19 +11:00
• 11c5d50527 Fix TCB size for SMP + benchmark config Ivan Velickovic 2025-11-21 21:12:22 +11:00
• 19b78543f9 arm: complete SGI error conditions documentation Gerwin Klein 2025-11-18 10:44:59 +11:00
• f6e9ac2f9c CHANGES: change log for SGI caps Gerwin Klein 2025-11-18 10:41:39 +11:00
• 20253baa0b CHANGES: all Arm platforms now included in proofs Gerwin Klein 2025-11-18 10:27:04 +11:00
• bfb390f918 CAVEATS: verification update; remove clang problem Gerwin Klein 2025-11-19 12:09:49 +11:00
• 3dbd033338 riscv: remove debug printing inside spuriousIRQ Gerwin Klein 2025-11-19 16:47:33 +11:00
• fdf7f2a082 trivial: adjust style for cmake-format Nick Spinale 2025-11-19 19:06:31 -08:00
• 1955a9bda1 rpi4: Fix memory layout for for aarch32 Nick Spinale 2024-01-23 09:22:31 +00:00
• 1f77fb9c5a rpi4: Support building kernel for aarch32 Kent McLeod 2023-03-01 17:04:21 +11:00
• 9746e27615 aarch32: Allow compilation for cortex-a72 Kent McLeod 2023-03-01 17:02:43 +11:00
• 0f497ab3a0 Disable clock sync test on QEMU RISC-V Ivan Velickovic 2025-11-20 15:48:36 +11:00
• 5f62269d84 arm,gic_v2: minor rephrasing for verification Gerwin Klein 2025-11-19 14:39:44 +11:00
• e0abb976b5 CHANGES: change log entries from commit history Gerwin Klein 2025-11-18 15:37:11 +11:00
• 3cbd3b2e95 SGI, GICv3: Fix plat_SGITargetValid Indan Zupancic 2025-11-13 11:55:34 +00:00
• 7e66128ba1 SMP: Update changelog Indan Zupancic 2025-02-27 20:50:38 +00:00
• 17921dd38e mcs: hotfix for incorrect spurious IRQ reporting Julia Vassiliki 2025-11-05 10:46:10 +11:00
• 01c3487efd arm: flush vcpu when setting domain of a thread Corey Lewis 2024-09-13 15:29:53 +10:00
• e558631c73 arm: flush vcpu when switching domain Corey Lewis 2024-09-10 18:17:28 +10:00
• 2734df9217 arm: remove misleading comment Corey Lewis 2025-08-21 15:12:55 +10:00
• e0fdf1c235 changelog: log vtx defect Gerwin Klein 2025-11-07 10:57:45 +11:00
• aa329f9476 x86: skip unaddressable memory for multiboot2 Liu, Chang 2025-10-22 17:06:19 +08:00
• 7099f9d543 aarch64: fixup address space layout docs for hyp Julia Vassiliki 2025-11-03 14:33:58 +11:00
• 57a909f615 x86: fix VCPU object creation Mathieu Mirmont 2024-12-11 14:57:51 +01:00
• 836ee89a0b cmake: fix style Julia Vassiliki 2025-10-27 13:08:37 +11:00
• 7f0c2f0c1f platforms: fix imx8mq board timer frequency Julia Vassiliki 2025-10-27 12:59:08 +11:00
• 3db39fd7bc am335/ompa3/bcm2837: compare irq & maxIRQ with <= Julia Vassiliki 2025-10-30 14:58:25 +11:00
• 3977e12b8b arm,gic-v3: fix GICD_CTLR_ARE_NS bit value Julia Vassiliki 2025-10-30 16:23:13 +11:00
• 70c75b956e aarch64: improve kernel address space layout docs Julia Vassiliki 2025-10-28 10:39:03 +11:00
• 0f058d05db aarch64: keep EL2 docs near hypervisor config Julia Vassiliki 2025-10-28 10:38:55 +11:00
• 8d3313ac25 trivial: adjust style for new cmake-format Gerwin Klein 2025-10-24 08:36:57 +11:00
• d310f5f137 cmake: record all disabled options Nick Spinale 2025-10-22 04:06:31 -07:00
• 08871fea6f boot: use word_t instead of paddr_t in init_kernel microkit Ivan Velickovic 2025-10-21 13:11:45 +11:00
• eb8f78ae06 boot: Make init_kernel arguments word sized Kent McLeod 2025-10-20 12:18:47 +11:00
• 8a2f5022c2 aarch32,boot: Fix patched entry code for aarch32 Kent McLeod 2025-10-20 08:46:12 +11:00
• f9eb65c9a5 tools: don't exclude device-tree reserved memory julia 2025-10-16 17:02:38 +11:00
• 97b25da8b1 tools: keep align-reserved memory in 'devices' julia 2025-10-15 12:51:17 +11:00
• 2279b0dd33 trivial: use KERNEL_ELF_TOP over ki_end julia 2025-10-08 11:38:52 +11:00
• b60b6652a4 arm,am335x: avoid continue for binary verification Gerwin Klein 2025-08-25 14:32:56 +01:00
• 0811613ed7 configs: add remaining verified Arm configs Gerwin Klein 2025-08-24 21:12:40 +01:00
• 08fb719ca2 arm,sgi: wrap NUM_SGIS for verification Gerwin Klein 2025-08-23 21:20:14 +01:00
• 0f78e4e957 syscall: handle spurious IRQ for preemption Gerwin Klein 2025-10-02 15:58:38 +10:00
• 73df5be82c machine: move setIRQTrigger into interrupt.h Gerwin Klein 2025-08-23 21:13:17 +01:00
• ec918cf123 arm,irq: use UNREACHBLE in unimplemented functions Gerwin Klein 2025-10-03 08:54:00 +10:00
• 6c7a376200 arm: default setIRQTrigger for non-GIC platforms Gerwin Klein 2025-08-19 11:03:20 +01:00
• eaed120175 util: provide FNSPEC for __unreachable Gerwin Klein 2025-10-03 09:00:06 +10:00
• 40c4ad5112 arm: plat_SGITargetValid for non-GIC platforms Gerwin Klein 2025-08-19 10:52:19 +01:00
• 5e08006c48 arm: improve error for unsupported IssueSGISignal Gerwin Klein 2025-08-19 10:50:25 +01:00
• 9d17561157 arm: make HAVE_SET_TRIGGER visible to verification Gerwin Klein 2025-08-15 17:47:24 +01:00
• a117712c19 Make fastpath_restore match restore_user_context Indan Zupancic 2025-08-20 15:26:16 +01:00
• c466f03949 aos/uart: do a proper reset in serial_init aos alwin-joshy 2025-03-07 15:52:02 +11:00
• dbba75154e HW Debug API: Better handling of BAS on ARM Alwin Joshy 2024-08-29 11:45:35 +10:00
• 3862d14fe4 Add VSpace_Read/Write_Word workaround Alwin Joshy 2024-08-26 11:53:13 +10:00
• 595fff33a2 Add virtual IRQ for serial receive Alwin Joshy 2024-08-20 12:19:39 +10:00
• 25d6e51770 Add support for odroidc4 Ahmed Charles 2022-07-19 22:32:42 -07:00
• 61a6e83f01 Reset SBC on kernel fault for AOS Ivan-Velickovic 2025-09-08 10:30:52 +10:00
• 20b7536986 trivial: Enable timer memory at user level Curtis Millar 2019-12-16 15:49:32 +11:00
• da4d5933a7 Always enable the UART driver for reset Curtis Millar 2019-05-31 12:15:16 +10:00
• 271c1c024d odroidc2: watchdog reset for AOS James Ye 2019-05-24 16:41:00 +10:00
• 09e6c3f5e2 debug: invalidate ksKernelEntry on kernel exit julia 2025-08-20 17:52:35 +10:00
• f5e45a2453 trivial: arch/config.cmake style changes julia 2025-08-19 11:13:04 +10:00
• 5de930983b arm,riscv: eliminate idle_thread function prologue julia 2025-05-21 12:50:30 +10:00
• dfaef4b712 arm: make irqInvalid static const Gerwin Klein 2025-08-15 11:39:58 +01:00