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

• 4079d4c8b4 github: add AARCH64 C proof session Gerwin Klein 2024-03-25 15:11:01 +01:00
• 271f6cc903 risc-v: make trap_entry a function Axel Heider 2024-03-11 14:37:36 +01:00
• ff422899fc trivial: remove superfluous empty line Axel Heider 2024-03-11 14:37:14 +01:00
• 0d799c3706 fix autoref whitespace errors Birgit Brecknell 2024-03-22 10:28:58 +11:00
• 43690234f1 fix white spaces in <docref> tags Birgit Brecknell 2024-03-22 10:04:09 +11:00
• 31e82e81da wrap docref references in <docref> tag Birgit Brecknell 2024-03-18 15:03:29 +11:00
• f6656e2c78 Add a glossary to the manual Birgit Brecknell 2024-03-20 14:31:02 +11:00
• 43607edb68 Manual: Xinclude support Indan Zupancic 2024-03-12 10:53:58 +00:00
• 9b50822b5a remove obsolete .licenseignore Gerwin Klein 2024-03-15 19:30:46 +01:00
• b527b46dec Arm32: Fix vcpu_hw_write_reg Indan Zupancic 2024-03-15 09:38:49 +00:00
• 4172bd6170 vcpu: add padding to keep vcpu struct packed Gerwin Klein 2024-02-27 10:19:54 +01:00
• 5bce5c0c1e ARM: Allow VMPIDR_EL2 reg to be set on unicore Kent McLeod 2024-02-01 16:57:30 +11:00
• 3ccbfc083a RISC-V SMP: Fix Compile Error Indan Zupancic 2024-03-13 14:10:25 +00:00
• 70d1a5f792 riscv: add read_sscratch() Axel Heider 2024-01-07 09:45:01 +01:00
• 72f50774ec style: fix cmake formatting spec Axel Heider 2024-02-29 15:52:20 +01:00
• 70c7caf2f8 Fix USER_TOP config option being unconditional Ivan Velickovic 2024-02-29 17:10:53 +11:00
• 3740c2902c Fix DDR region for Odroid-C4 Ivan Velickovic 2024-02-28 17:25:46 +11:00
• 903cf7c2a5 Fix Odroid-C4 MAX_IRQ setting Ivan Velickovic 2024-02-23 16:15:24 +11:00
• 9a2bbe30b8 changes: describe VCPU fix Gerwin Klein 2024-02-21 10:28:59 +11:00
• d26f1ff4d2 vcpu: guard against NULL ptr dereference Gerwin Klein 2024-02-16 18:34:34 +11:00
• 31ca173e17 elfloader: Replace calls to reset_cntvoff Kent McLeod 2023-05-30 17:12:16 +10:00
• a8eebabf58 CI: remove obsolete concurrency setup in job Axel Heider 2024-01-31 18:06:30 +01:00
• 1a52833c6f github: disambiguate proof artifact upload Gerwin Klein 2024-02-09 10:12:29 +11:00
• 9bac64c6ce libsel4: Eliminate unnamed enums Nick Spinale 2024-02-07 09:18:48 +00:00
• 7d3353332a cmake: install object API files under better names Nick Spinale 2023-09-23 23:01:06 +00:00
• 76eee24323 cmake: Support multiple overlay files Kent McLeod 2024-02-02 10:56:28 +11:00
• 245c07fa2e QEMU/arm: select CPU from architecture Axel Heider 2024-02-04 21:57:17 +01:00
• b770e2d71e CMake, QEMU/arm: fix parser usage Axel Heider 2024-02-01 18:47:10 +01:00
• c9989664e3 AArch64: mark isFpuEnable as DONT_TRANSLATE Rafal Kolanski 2024-02-01 14:14:11 +11:00
• 91ec17c5bf CI: cancel older concurrent PR runs Axel Heider 2024-01-30 12:43:30 +01:00
• eda441ebe7 CI: the seL4/machine_queue repo is public now Axel Heider 2024-01-27 05:18:49 +01:00
• 64b1282acc aarch64/vspace: type of counter in ASIDPoolAssign Gerwin Klein 2024-01-28 13:24:17 +11:00
• fa28409d55 github: bump GitHub actions to node20 Gerwin Klein 2024-01-29 09:57:20 +11:00
• 7008430d44 Merge branch 'master' into microkit Ivan Velickovic 2024-01-27 11:59:35 +11:00
• 241d8d12c7 aarch64/vspace: fix error reporting in decode Gerwin Klein 2024-01-25 19:20:16 +11:00
• 9ec543ce5a cmake: propagate CROSS_COMPILER_PREFIX Nick Spinale 2023-12-25 00:42:24 -05:00
• 5df6964782 aarch64/vspace: test for page type directly Gerwin Klein 2024-01-24 18:30:52 +11:00
• 6baeeaef21 hw debug api: fix single stepping on ARMv7 Alwin Joshy 2024-01-15 15:44:43 +11:00
• cc3205ea48 aarch64/vspace: simplify check for page PTE Gerwin Klein 2024-01-22 14:38:13 +11:00
• 7f4662a791 Revert "aarch64/vspace: allow flushing larger .." Gerwin Klein 2024-01-22 14:38:06 +11:00
• 494dd2dd96 aarch64/vspace: allow flushing larger pages Gerwin Klein 2024-01-22 11:29:04 +11:00
• 0a0739074d manual: add bibliography to toc Birg 2024-01-22 09:33:33 +11:00
• cbf25791b7 make method names consistent (#1144) bbrcknl 2024-01-19 14:25:02 +11:00
• 95cfd473e6 aarch64/vspace: adjust type for verification Gerwin Klein 2024-01-18 17:18:02 +11:00
• 0398d34ad0 aarch64/vspace: avoid unnecessary casts Gerwin Klein 2024-01-11 12:53:37 +11:00
• 2b29446484 aarch64/vspace: add performASIDControl annotations Gerwin Klein 2024-01-10 10:04:39 +11:00
• 5d1f3bc3ce tqma8xqp1gb: fix MAX_IRQ setting Gerwin Klein 2024-01-09 14:08:56 +11:00
• 4a2f8e7a81 aarch64 structures: constrain irq_w field width Gerwin Klein 2024-01-08 15:22:54 +11:00
• 2dec06fc4f aarch64: add verification retype annotations Gerwin Klein 2024-01-04 10:37:39 +11:00
• 836c180f0d aarch64: verification tweaks for getMapRefForASID Gerwin Klein 2024-01-04 09:31:10 +11:00
• 73553606f1 CI: update deploy workflow also Axel Heider 2024-01-12 14:38:10 +01:00
• e6fbbbb065 CI: do simulation and HW build with LLVM on RISCV Axel Heider 2024-01-09 10:52:21 +01:00
• 454245febd CI: build standalone kernel for RISCV64 with LLVM Axel Heider 2024-01-09 08:21:16 +01:00
• ed613d7d49 python: remove unused template parameter Axel Heider 2023-12-19 17:49:22 +01:00
• 498fd84a55 use raise warining in version check Cindy Liu 2023-12-14 19:40:11 -08:00
• 807a42e91e Move the version check just before the usage Cindy Liu 2023-12-14 18:08:47 -08:00
• 04dc9675f3 Replace deprecated pkg_resources usage Cindy Liu 2023-12-14 16:47:56 -08:00
• 7bad3610f1 github: upload kernel.elf build artifact Gerwin Klein 2023-12-08 14:22:21 +01:00
• 9a532efc15 change CPTR to CPtr Birg 2023-12-06 16:54:51 +11:00
• d92c49ab9b arm hyp: avoid implicit downcast to local vars Rafal Kolanski 2023-12-05 21:56:49 +11:00
• 55aee64707 arm hyp: gic_vcpu_num_list_regs should be word_t Rafal Kolanski 2023-12-05 14:17:34 +11:00
• 66e5c79d06 Arm 64-bit: do not use unsigned int for arg length Rafal Kolanski 2023-12-01 19:06:43 +11:00
• 391bfb15f8 update some manual todos Birg 2023-11-17 17:42:39 +11:00
• 94c5a0b53a cmake: show DTS name in error message Axel Heider 2023-11-23 14:07:38 +01:00
• b59fa0ed20 riscv: use MAX_IRQ instead of PLIC_MAX_NUM_INT Axel Heider 2023-11-17 21:54:01 +01:00
• a2cb6d0271 style: support property SMMU Axel Heider 2023-11-17 22:48:01 +01:00
• d2027a1fb9 cmake: rework macro declare_seL4_arch() Axel Heider 2023-03-25 18:35:05 +01:00
• 7d93471e9c debug: use c99 standard instead of gcc extensions Axel Heider 2023-11-09 13:01:27 +01:00
• 7dbdbee05f exynos4: remove explicit TIMER_PRECISION setting Axel Heider 2023-11-13 15:23:11 +01:00
• 155a5146bf mcs: change installTCBCap to not insert null caps Corey Lewis 2023-05-22 14:44:48 +10:00
• 172d4c0f49 mcs: refactor validFaultHandler Corey Lewis 2023-05-22 12:13:44 +10:00
• d7f2ba4aec remove useless assert Axel Heider 2023-11-09 20:24:20 +01:00
• 41c77999f6 VT-d: add remappable MSI support jade/msi Jingyao Zhou 2023-11-10 17:21:51 +11:00
• b3ce91382b VT-d: add remappable IOAPIC support Jingyao Zhou 2023-11-10 17:16:45 +11:00
• 8004d14775 VT-d: add Interrupt Remapping Table support Jingyao Zhou 2023-10-18 16:25:52 +11:00
• bee34922b9 trivial: minor improvement Jingyao Zhou 2023-09-14 14:25:39 +10:00
• 8abc47a9ea trivial: rename variables to match the spec Jingyao Zhou 2023-09-14 14:00:19 +10:00
• baacd4453a Add Pine64 Star64 support to CHANGES Ivan-Velickovic 2023-05-03 15:43:45 +10:00
• 49e5f47041 Update PLIC handling for Star64/U74-MC Ivan-Velickovic 2023-04-24 11:56:54 +10:00
• e959f83962 Add support for Star64 SBC Ivan-Velickovic 2023-04-24 10:17:51 +10:00
• 4b8bed320d arm_global: document deadline assert Gerwin Klein 2023-11-08 08:57:18 +11:00
• 14ff0c28ec x86 setDeadline: must set at least 1 tick Gerwin Klein 2023-11-07 10:03:47 +11:00
• dac2857229 mcs: move setDeadline assertions Gerwin Klein 2023-11-07 10:01:35 +11:00
• 521f7e3c19 mcs: remove getKernelWcetTicks from refill_ready Michael McInerney 2023-02-02 17:22:30 +10:30
• d8f4a95b72 manual: group invocations by MCS/non-MCS Gerwin Klein 2023-11-05 10:22:47 +11:00
• 355f9abc15 sel4.xml: mark Set Space as MCS in the manual Gerwin Klein 2023-11-05 10:19:52 +11:00
• beb2c0d176 manual: remove obsolete doxygen settings Gerwin Klein 2023-11-05 09:55:19 +11:00
• 9956101ba6 manual: handle name duplication between groups Gerwin Klein 2023-11-04 10:38:38 +11:00
• 1de89ba1f2 trivial: spelling (sel4 -> seL4) Gerwin Klein 2023-11-04 10:38:14 +11:00
• b67c7310af parse_doxygen_xml: avoid XMLParsedAsHTMLWarning Gerwin Klein 2023-11-04 09:27:38 +11:00
• 97588df016 mcs: simplify sc_sporadic, assert invariant Gerwin Klein 2023-11-06 13:56:27 +11:00
• be848fd06b mcs finaliseCap: ensure invariant for inactive SCs Gerwin Klein 2023-11-06 11:42:18 +11:00
• 8e7aa93e00 schedcontrol: tweak code ordering for verification Gerwin Klein 2023-11-06 11:36:11 +11:00
• c2497cbb38 riscv: place traps and fastpath code adjacently Hesham Almatary 2023-08-14 14:43:40 +01:00
• b7ad2e0c66 github: fix sel4bench trigger in GitHub workflow Gerwin Klein 2023-11-01 08:16:05 +11:00
• 5b4fb3e357 Add "ax" flags to .section directives in assembly Hesham Almatary 2023-07-18 14:22:50 +01:00
• b9b36e584a cmake: remove mention of undone change in CHANGES Nick Spinale 2023-09-23 21:04:49 +00:00
• 2c8bc584da cmake: generate config headers at config-time Nick Spinale 2023-09-23 20:55:52 +00:00
• 4f9b736526 aarch64: use VS prefix for vspace_cap fields Rafal Kolanski 2023-10-26 09:59:31 +11:00
• b4592ebc97 ARM: No special handling for edge-triggered IRQs Indan Zupancic 2023-10-26 11:34:51 +01:00