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

• 6ff48c7d1f Fix Star64 cell size in DTS overlay Ivan-Velickovic 2025-03-05 15:06:24 +11:00
• 49273c155b Merge branch 'master' into microkit Ivan-Velickovic 2025-03-05 14:59:06 +11:00
• 2ec8c15478 gic_v3,smp: Deactivate PPIs on different cores Kent McLeod 2024-02-02 08:05:38 +11:00
• a4b0c8d36a gicv3: Split EOI mode Kent McLeod 2022-09-29 22:17:23 +10:00
• 97559a40b2 qemu-riscv-virt,dts: Fix cell size definitions Kent McLeod 2025-03-04 09:19:16 +11:00
• 53100c623e Merge branch 'master' into microkit Ivan-Velickovic 2025-03-03 16:39:56 +11:00
• b657e50b66 RISC-V: reserve memory for SBI in device tree Kent McLeod 2022-02-01 15:07:08 +11:00
• 6e7e37af06 riscv32,llvm: Disable floating point by default Kent McLeod 2025-02-28 19:57:03 +11:00
• 85ea1a4d84 gic_v3: Remove non-existent register bit Kent McLeod 2024-02-04 21:58:53 +11:00
• 8d85057b06 configs: remaining verified aarch64 configs Gerwin Klein 2025-01-06 09:13:43 +11:00
• 58e4012eec Ignore clang 20 warning that breaks the build Indan Zupancic 2025-02-25 13:31:13 +00:00
• 9334b7d85d boot: make clock sync test delta conditional Gerwin Klein 2025-02-26 11:15:27 +11:00
• 0afcd6651c arm,tls: Add config option KernelArmTLSReg Kent McLeod 2025-02-17 09:56:35 +11:00
• 81679f2b95 SMP: Fix IPI Race Indan Zupancic 2025-02-14 22:51:23 +00:00
• 19e1dfd0b9 SMP: Slightly more robust ipi_wait Indan Zupancic 2022-06-29 10:50:59 +02:00
• 04b11f04bd SMP: Barrier in ipiStallCoreCallback Indan Zupancic 2022-06-28 17:38:51 +02:00
• 1c154c85f5 SMP: Avoid undefined CAS delays in kernel lock Indan Zupancic 2022-06-15 14:37:06 +02:00
• 33726d45a0 SMP: Align lock data instead of explicit padding Indan Zupancic 2022-06-15 11:04:55 +02:00
• 4e74d029cc SMP: Cleanup kernel lock Indan Zupancic 2022-06-14 18:53:45 +02:00
• 18944f5072 smp: avoid redundancy Axel Heider 2022-06-07 14:56:08 +02:00
• f195982d13 Revert "arm: add LD_EX, ST_EX, OP_WIDTH macros for ARM" Indan Zupancic 2022-06-15 17:57:05 +02:00
• 17e968ad02 Remove try_arch_atomic_exchange_rlx Indan Zupancic 2022-06-14 13:07:35 +02:00
• 01bfd7b658 SMP: Unlock later in restore_user_context Indan Zupancic 2025-02-23 22:34:36 +00:00
• 53c725f7a0 SMP: Make node_boot_lock atomic Indan Zupancic 2025-02-23 22:20:30 +00:00
• 8f7b7e37e4 SMP, Arm, GIC: Init active_irq for each core Indan Zupancic 2025-02-24 10:14:17 +00:00
• 0a72b4cfcd Arm, L2C-310: Don't separate clean and invalidates Indan Zupancic 2025-02-21 15:39:26 +00:00
• 75e1c60974 Arm, L2C-310: Avoid memory reordering Indan Zupancic 2025-02-18 23:22:16 +00:00
• a28060d651 aarch32: Print LR on kernel aborts Indan Zupancic 2025-02-21 15:44:08 +00:00
• 921a38f87a Aarch32, SMP: Give each core its own abort stack Indan Zupancic 2025-02-23 21:46:27 +00:00
• e46238cb91 Aarch32, SMP: Write getCurrentCPUIndex in C Indan Zupancic 2025-02-24 09:33:54 +00:00
• a0fe06b443 Aarch32, SMP: Ensure SP points within region Indan Zupancic 2025-02-23 21:24:53 +00:00
• e7bb62d2ce Bump minimum CMake version Peter Chubb 2025-02-26 11:46:58 +11:00
• 478372b62d riscv: disable clock sync test on boot lsf37/no-clock-sync-riscv Gerwin Klein 2025-02-26 15:09:34 +11:00
• 475f0911fc arm,gic_v3: consolidate types for verification Gerwin Klein 2024-10-25 16:25:46 +11:00
• 07be80478a riscv: rename incorrect level2_pt -> level1_pt julia 2025-02-24 14:56:37 +11:00
• 5586c1193c gcc.cmake: Auto-detect riscv64-linux-gnu- tools Kent McLeod 2025-02-10 09:29:19 +11:00
• bf3fbef460 riscv: Change default FPU extensions to ON Kent McLeod 2025-02-10 09:24:05 +11:00
• ddad13cafd Improve print in handleSpuriousIRQ Ivan-Velickovic 2025-02-18 00:16:47 +11:00
• c674b62a00 github: rename hardware test workflow file Gerwin Klein 2024-07-18 16:45:20 +10:00
• 3c7c4d1182 github: add manual trigger where possible Gerwin Klein 2024-02-11 17:01:20 +11:00
• c4e4b37fdf github: update name of deployment workflow Gerwin Klein 2024-02-10 14:02:39 +11:00
• bbb2b6b6b7 github: factor out common workflows Gerwin Klein 2024-02-10 12:51:46 +11:00
• 7f91e0c5f6 libsel4: fix riscv ASIDcontrol param descriptions julia 2025-02-12 15:19:06 +11:00
• 771130964f trivial: mcs: simplify implementation of cancelIPC Nick Spinale 2024-11-30 01:36:24 -08:00
• 4f4721706e reply: do not assume replyObject NULL invariant Gerwin Klein 2024-07-15 16:42:48 +10:00
• 9919e7db30 Merge branch 'master' into microkit Ivan-Velickovic 2025-02-10 12:49:39 +11:00
• 1cbaeb97f0 platform_gen: only generate regions that are used Ivan-Velickovic 2025-02-10 11:07:51 +11:00
• 7f6d5c72aa riscv: remove breakpoint_stack from linker script julia 2025-02-05 11:09:01 +11:00
• a13a358806 document & rename breakpoint_stack to abort_stack julia 2025-02-05 11:06:54 +11:00
• 697dfb8b9e riscv: catch s-mode traps and halt julia 2025-01-24 15:23:02 +11:00
• 433c8144d8 config.cmake: fix depends line Ivan-Velickovic 2025-02-06 15:44:37 +11:00
• edde814ceb aarch64: fix building with clang-18 Dr. Chang Liu, PhD. 2024-12-19 23:09:00 +08:00
• 7db2fc384d platform_gen.h.in: remove platform_interrupt_t sym julia 2025-02-03 13:36:13 +11:00
• 0383d0f468 Merge branch 'master' into microkit Ivan-Velickovic 2025-02-03 16:20:41 +11:00
• e8c070cd35 Added initial support for Cheshire platform Matt Rossouw 2024-11-25 12:20:21 +11:00
• d96b447826 cmake: add riscv-none-elf- as valid gcc prefix julia 2025-02-02 17:25:47 +11:00
• 974e9ffb2e README: fix GettingStarted link for docsite update Gerwin Klein 2025-01-31 09:09:08 +11:00
• dfd0853c5d vspace: userError for no unallocated ASID pools julia 2025-01-29 11:41:11 +11:00
• 6b204b3fe4 Merge branch 'master' into lsf37/riscv-clock-test lsf37/riscv-clock-test Gerwin Klein 2024-12-20 11:32:19 +11:00
• 1732c05ef6 github: pin Ubuntu 22.04 for deployment step Gerwin Klein 2024-12-19 17:29:35 +11:00
• 84163bd855 mcs: refactor refill_budget_check Michael McInerney 2024-09-13 14:36:36 +09:30
• ae077fd738 tqma: remove virtualisation project settings Gerwin Klein 2024-12-19 10:30:57 +11:00
• 7d493561cb github: pin style check to ubuntu-22.04 Gerwin Klein 2024-12-19 10:58:25 +11:00
• 69aec5c642 hifive: reflect lower TIMER_PRECISION in config Gerwin Klein 2024-12-19 10:25:48 +11:00
• b7ce213654 Add i.MX93 SoC support Indan Zupancic 2024-11-23 13:52:56 +00:00
• 635d74639e Add fsl,imx7ulp-lpuart alias Indan Zupancic 2024-11-17 16:52:59 +00:00
• 80e60fe397 manual/objects: clean garbage Yanfeng Liu 2024-12-11 06:53:19 +08:00
• 5632069576 riscv/vspace.c: revise comments Yanfeng Liu 2024-12-04 15:51:23 +08:00
• b67ff0bcdf riscv/hardware.h: simplify RISCV_GET_PT_INDEX Yanfeng Liu 2024-11-30 10:56:14 +08:00
• 5041edaad5 model/statedata.c: align idle thread block Yanfeng Liu 2024-12-03 12:50:30 +08:00
• 24156aafc3 remove UNREACHABLE() from resolveAddressBits Nick Spinale 2024-09-01 19:16:30 -07:00
• 7c3bc020fa machine/capdl.c: fix memory corruption Yanfeng Liu 2024-12-02 16:15:56 +08:00
• 8b298285dc x86: initialize variables Nick Spinale 2024-09-17 14:01:42 -07:00
• e45d229601 Fix printing when IRQ is out of range Ivan-Velickovic 2024-12-02 21:05:34 +11:00
• 58674cdaec arch/riscv64: revise address space comments Yanfeng Liu 2024-11-26 04:39:42 +08:00
• 4b233815fd docs: README: Fix url to kernel features Szymon Duchniewicz 2024-11-22 00:51:33 +01:00
• e995b64653 boot: remove unnecessary reserve increment FennelFoxxo 2024-09-09 06:38:50 -07:00
• 4018ad5942 boot: fix init_freemem skipping reserved regions FennelFoxxo 2024-09-09 04:44:15 -07:00
• d6b4e774ca riscv: Fix MAX_IRQ for QEMU platform julia 2024-11-11 15:32:29 +11:00
• 640643954c riscv: fix off-by-1 write for PLIC IRQ priorities julia 2024-11-11 14:47:52 +11:00
• 65825d4df8 Re-enabled PLIC for Ariane Matt Rossouw 2024-10-24 11:36:34 +11:00
• 9edd2704ea manual: add CapSMC to table 9.1 Yanfeng Liu 2024-11-03 19:12:34 +08:00
• c5b23791ea configs: additional verified platforms Gerwin Klein 2024-09-28 09:20:54 +02:00
• 03ad568c89 move cache flush from untyped reset to retype Gerwin Klein 2024-07-03 10:00:34 +10:00
• 29ee490ec4 Merge remote-tracking branch 'origin/master' into microkit Ivan-Velickovic 2024-10-24 13:17:50 +11:00
• 5dd34db629 mcs: refactor cancelAllIPC and cancelBadgedSends Michael McInerney 2024-07-22 17:12:50 +09:30
• 7aac8a3053 mcs: use sc_active in commitTime Michael McInerney 2024-10-04 15:21:35 +09:30
• 8f88c958fc utils: safer str_to_long Gerwin Klein 2024-09-01 10:47:11 +01:00
• ff3e7ff93e aarch32: remove unused functions Gerwin Klein 2024-09-01 09:22:28 +01:00
• 9080b6844b invocations_all.json: define remove_prefix() Alwin Joshy 2024-10-04 21:54:36 +10:00
• ca0edeaeab invocations_all.json: make paths explicit Alwin Joshy 2024-10-04 19:04:41 +10:00
• bd1c392409 Export invocation numbers to JSON file Alwin Joshy 2024-10-03 16:03:56 +10:00
• 85aa104eb4 Fix TCB size on RISC-V 32-bit when FPU is enabled Ivan Velickovic 2024-09-16 10:39:10 +10:00
• ba7d826615 configs: verified 32-bit config for zynqmp zynqmp-12.0.0 Gerwin Klein 2024-08-15 11:07:42 +02:00
• 05858be490 feat: add riscv-none-elf- as valid RISCV prefix Wanja Zaeske 2024-08-14 12:57:59 +02:00
• 534ea259d3 Print virtual address already mapped in user error (#1304) Ivan Velickovic 2024-08-14 04:29:39 +10:00
• 4cae30a6ef Add extra reserved region to RISC-V boot protocol Ivan-Velickovic 2024-08-05 10:25:08 +10:00
• 75d3f97085 MCS: Remove grant right from reply cap mbrcknl/mcs-grant-via-reply-alt Matthew Brecknell 2022-11-02 14:57:57 +11:00
• c3d77ea0b3 MCS: Restrict reply grant rights mbrcknl/mcs-grant-via-reply Matthew Brecknell 2022-07-04 20:07:22 +10:00
• c679fe77d6 mcs: use local variable in postpone Michael McInerney 2024-07-19 17:08:16 +09:30