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

• db2b2be64c aarch32: make sure irqInvalid is irq_t Gerwin Klein 2024-09-25 17:55:33 +02:00
• 736bfd6a2e asidpools: fix bug in create_it_asid_pool julia 2025-08-04 11:15:55 +10:00
• 41c9e79dd1 asidpools: consistently use ASID_LOW macro julia 2025-08-04 11:15:18 +10:00
• b8e81b077a asidpools: consistently use ASID_HIGH macro julia 2025-08-04 11:04:53 +10:00
• 5aa9729ec3 asidpools: remove unused ASID_POOL_INDEX_BITS julia 2025-08-01 17:00:34 +10:00
• e5c3aef827 asidpools: use nASIDPools for the ASID Tables julia 2025-08-01 16:50:44 +10:00
• 1c50485c9a bitfield_gen: apply style fixes julia 2025-08-04 16:43:01 +10:00
• 9a4cdabcd5 bitfield_gen: improve readability of union funcs julia 2025-08-04 12:22:22 +10:00
• 85e57f7480 thread_ctrl: Remove unused flags Krishnan Winter 2025-08-01 16:38:40 +10:00
• 638593b1aa boot: print half-open regions as [a..b) julia 2025-07-31 13:28:35 +10:00
• 1dde1fcb27 aarch64,vspace: deprecated PUD/PGD typedefs julia 2025-07-31 13:58:58 +10:00
• 66207ddc5c boot: fix argname in populate_bi_frame prototype julia 2025-07-31 11:29:14 +10:00
• 23cca42f97 boot: check for size_bits=0 before BIT(size_bits) julia 2025-07-28 12:29:51 +10:00
• deec818829 manual: gracefully handle dangling references Gerwin Klein 2025-07-29 16:55:04 +10:00
• f13f37a6a7 cmake: clearly complain for invalid platforms julia 2025-05-29 11:55:07 +10:00
• 3c19196bda Apply style changes to configs/seL4Config.cmake julia 2025-07-28 11:09:51 +10:00
• 22f816a6de Restyle x86/config.cmake for new cmake-format Gerwin Klein 2025-07-24 10:19:06 +10:00
• 605eed18fc FPU: Update CHANGES.md Indan Zupancic 2025-05-08 13:13:34 +01:00
• 180eb4db78 Aarch32, FPU: Remove FPEXC DEX and EX checks Indan Zupancic 2025-04-24 22:21:25 +01:00
• 77f5fab0a0 Aarch32, FPU: Init fpexc with FPU enabled Indan Zupancic 2025-04-24 20:19:05 +01:00
• 504f1ccf00 FPU: ease verification Corey Lewis 2025-03-24 13:45:05 +11:00
• ed33077f54 x86: Fix Style Errors Indan Zupancic 2024-09-26 21:47:02 +01:00
• 4031b9db83 ARM64: Always declare disable FPU functions Indan Zupancic 2024-09-26 21:15:53 +01:00
• 88c25fe7fc x86, FPU: Handle obscure corner cases Indan Zupancic 2024-09-18 22:48:58 +01:00
• 8502701926 FPU: Rename fpuThreadDelete to fpuRelease Indan Zupancic 2024-09-18 22:06:08 +01:00
• c4501d5ed4 FPU: Do lazyFPURestore in switchToThread Indan Zupancic 2024-09-18 21:42:04 +01:00
• 134ab60ae0 FPU: Remove Unused isFpuEnable Indan Zupancic 2024-09-17 17:33:24 +01:00
• a96982e576 x86, FPU: Fix XSAVES Indan Zupancic 2024-09-11 10:45:00 +01:00
• 1bd0e3b788 FPU: ksCurFPUOwner instead of ksActiveFPUState Indan Zupancic 2024-09-08 15:44:55 +01:00
• e0a50c8205 x86, HYP: Remove Lazy VCPU FPU Switching Indan Zupancic 2024-09-09 16:56:32 +01:00
• 5035def0b9 FPU: Save and restore FPU state based on TCB flag Indan Zupancic 2024-09-08 21:28:47 +01:00
• 1415cac443 Add seL4_TCB_SetFlags Syscall Indan Zupancic 2024-09-08 20:14:57 +01:00
• 8f8776a541 Domain: Split off invokeDomainSetSet Indan Zupancic 2025-03-28 09:55:08 +11:00
• 35ec2554b9 Domain: Save FPU state when changing domain Indan Zupancic 2024-09-16 12:44:49 +01:00
• f1517d51d1 Domain: Avoid touching cross-domain FPU state Indan Zupancic 2024-09-08 21:53:24 +01:00
• e00f2e2148 x86, HYP: Cleanup VCPU FPU state Indan Zupancic 2024-09-09 16:54:30 +01:00
• 296638287a ARM: Move debug state to the end of user_context Indan Zupancic 2024-09-27 13:59:43 +01:00
• 46adf99242 Aarch64: Remove incorrect comment Indan Zupancic 2025-05-02 11:38:43 +01:00
• 35a7fecbff Aarch64: Align FPU vregs Indan Zupancic 2024-09-06 19:35:56 +01:00
• db233b156d config.cmake: apply cmake-format style changes julia 2025-07-23 16:16:48 +10:00
• b153154382 cmake: remove reference to old BI_CAP_DYN_START julia 2025-06-04 16:48:53 +10:00
• 946a412727 CHANGES: update releases link Gerwin Klein 2025-07-23 09:29:02 +10:00
• de5b553c7a README: update links for new docsite structure Gerwin Klein 2025-07-23 09:25:55 +10:00
• c9d81228bd python-deps: bump cmake-format and autopep8 Gerwin Klein 2025-06-05 11:00:54 +02:00
• acbe30b507 change link to Resources ot setup page June Andronick 2025-07-08 14:31:33 +02:00
• f44f103c26 parse_doxygen_xml: non-breaking space for types Gerwin Klein 2025-07-14 11:16:22 +10:00
• d815b87ce5 parse_doxygen_xml: minor typos and python lints Gerwin Klein 2025-07-14 11:02:24 +10:00
• dc66e46a62 parse_doxygen_xml: properly escape string literals Gerwin Klein 2025-07-14 10:56:33 +10:00
• c8ee042688 manual/README.md: include API doc generation Gerwin Klein 2025-07-04 12:45:09 +10:00
• eb147cf006 bitfield_gen: remove manual table of contents Gerwin Klein 2025-07-07 10:49:07 +10:00
• 606a1ea1c3 am335x,omap3,bcm2836: SGI unsupported Gerwin Klein 2025-02-19 10:25:19 +11:00
• ae75fc3566 gen_invocations: handle undefined values Gerwin Klein 2024-03-14 17:02:54 +01:00
• 538cdfd362 arm: verification tweaks for SGI API Gerwin Klein 2024-02-13 16:19:58 +11:00
• 34725d060b arm: Add new APIs for generating SGIs Kent McLeod 2022-09-13 23:24:34 +10:00
• bcf5ab7924 ARM, GICv3: Fix GICD_CTLR_ARE_NS Indan Zupancic 2025-07-02 11:45:11 +01:00
• 6dbe58ef0c Fix VGIC and VPPI maintenance handling Krishnan Winter 2025-06-24 10:36:18 +10:00
• dec87e641a github: main l4v now on Isabelle2025 Gerwin Klein 2025-06-13 15:27:06 +10:00
• 2417e0fc69 mcs: refactor doReplyTransfer and setMRs_fault Michael McInerney 2025-05-03 00:17:02 +09:30
• 120951221c cleanup: use rootSlot to give a name to excapref0 julia 2025-06-05 14:32:11 +10:00
• ab5192f81a github: point proof tests to Isabelle ts-2024 Gerwin Klein 2025-06-07 07:47:39 +08:00
• ad32c2769f mcs: fix error handling for SetTimeoutEndpoint Michael McInerney 2025-06-04 19:18:33 +09:30
• 4ec62c89d5 TCB_SetSchedParams: Simplify bind/unbind check Alwin Joshy 2024-09-09 13:25:06 +10:00
• 3108ea86d1 TCB_SetSchedParams: Change to match API reference Alwin Joshy 2024-08-23 17:06:19 +10:00
• 2ad02a0076 remove unnecessary cast Gerwin Klein 2025-06-04 11:00:17 +02:00
• 90dafb2e71 yieldTo: respect kernel reply protocol Gerwin Klein 2025-03-26 15:40:55 +11:00
• b7d67a9389 Detect 'aarch64-elf-' toolchain Ivan-Velickovic 2025-05-21 15:33:20 +10:00
• 3aafe9e0b9 Merge branch 'master' into microkit Ivan-Velickovic 2025-05-23 11:05:26 +10:00
• 5e6f7c2bda Fix QEMU regex to work for version 10 (#1463) Seph Gentle 2025-05-23 11:04:21 +10:00
• be8e649de0 Fix minimum CMake version in eswin config Ivan-Velickovic 2025-05-21 19:24:10 +10:00
• 349745c53b cleanup: remove obselete pageType and asidMax julia 2025-04-30 16:07:47 +10:00
• c03cad0894 Update links after seL4 website re-org Gerwin Klein 2025-04-29 16:51:25 +10:00
• 6a74aba245 CMake: Use output file diffing from config_gen.py Fennelfoxxo 2025-04-08 05:21:56 -07:00
• e8094340a3 Build: Add output file diffing to config_gen.py Fennelfoxxo 2025-04-08 05:11:01 -07:00
• 162a38e865 Build: Allow optional output in config_gen.py Fennelfoxxo 2025-04-07 05:55:02 -07:00
• 1acde069a5 README: remove outdated pages Gerwin Klein 2025-04-25 15:16:16 +10:00
• eca86cff19 treewide: typo fixes julia 2025-04-11 13:44:30 +10:00
• 2aa12e5d8a Merge branch 'master' into microkit Ivan-Velickovic 2025-04-09 12:12:13 +10:00
• fd14374e9d mcs: refactor reply functions to ease verification Michael McInerney 2025-03-31 13:51:35 +10:30
• 58f0e87355 Add support for SiFive Premier P550 platform Ivan-Velickovic 2025-02-11 14:08:41 +11:00
• e633fc7480 Add 'sifive,plic-1.0.0' to PLIC compatible list Ivan-Velickovic 2025-02-01 15:56:57 +11:00
• 38e889da3b github: deploy mcs verification manifest Gerwin Klein 2025-04-01 19:05:56 +11:00
• 29803c51ca configs: mark Ultra96v2 as supported by the proofs Gerwin Klein 2025-03-31 11:21:44 +11:00
• 6d8b1eaeec utils: wrap config_set for verification Gerwin Klein 2025-03-20 09:58:09 +11:00
• f7b95a9756 Add missing userError for VSpace invocation Ivan-Velickovic 2025-03-26 15:04:49 +11:00
• 019e4b608f mcs: small changes to ease verification Michael McInerney 2025-03-17 10:53:57 +10:30
• 52725dd5b4 mcs: rephrase invokeSchedControl_ConfigureFlags Michael McInerney 2025-03-04 22:28:33 +10:30
• 4b97df4c7e Merge branch 'master' into microkit Ivan-Velickovic 2025-03-18 11:55:04 +11:00
• 9fe04a250b aarch32/vcpu: save and restore CNTKCTL Ryan Barry 2025-03-13 12:00:37 +11:00
• 53ed1bef7b tools: fix kernel physBase alignment on AArch64 Ivan-Velickovic 2025-03-13 13:55:49 +11:00
• f02bc94db8 arm: add vcpu save/restore reg range constants Ryan Barry 2025-03-12 15:49:26 +11:00
• 8e18a0b558 aarch64: avoid saving CPACR to a disabled VCPU Ryan Barry 2025-03-12 15:46:52 +11:00
• 119a189c39 aarch64: remove redundant FPU ifdefs Ryan Barry 2025-03-12 14:46:24 +11:00
• d047ce8d75 statedata: only define tlbLockCount when needed julia 2025-02-03 15:46:39 +11:00
• 8cf9ca0477 CHANGES: describe VCPU timer restore bug Gerwin Klein 2025-02-06 10:13:55 +11:00
• 73e6b2e07a arm: Save VCPU virt timer registers when disabled Alison Felizzi 2023-06-27 14:23:46 +10:00
• e820aa91fe mcs: rephrase setNextInterrupt for verification Michael McInerney 2025-03-04 22:25:27 +10:30
• 6059924669 rpi4,elfloader: select firmware node for smp boot Kent McLeod 2025-03-05 17:10:13 +11:00
• f2925faee8 boot: Check that predicted page tables were used Kent McLeod 2022-09-26 09:00:18 +10:00
• 411ff14556 Fixes #1334: install target fails arm_hyp configs Kent McLeod 2024-10-29 09:56:30 +11:00
• 968d8f6f97 Merge branch 'master' into microkit Ivan-Velickovic 2025-03-05 16:29:43 +11:00