Default Branch

master efd9426e17 · mcs: use local variable in restart · Updated 2026-02-25 23:38:21 +00:00

ZIP  TAR.GZ

Branches

smc-ifdef 973825aff9 · aarch64,smc: remove KernelAllowSMCCalls · Updated 2026-02-18 02:57:28 +00:00    dongl	4 2	Compare	ZIP  TAR.GZ
michaelm/ipc_queues a439cbabda · mcs: add define for tcbEPPrev/Next in MCS squash · Updated 2026-01-15 04:00:03 +00:00    dongl	12 2	Compare	ZIP  TAR.GZ
microkit 08871fea6f · boot: use word_t instead of paddr_t in init_kernel · Updated 2025-10-21 02:11:46 +00:00    dongl	150 18	Compare	ZIP  TAR.GZ
aos c466f03949 · aos/uart: do a proper reset in serial_init · Updated 2025-09-08 00:32:52 +00:00    dongl	80 9	Compare	ZIP  TAR.GZ
lsf37/no-clock-sync-riscv 478372b62d · riscv: disable clock sync test on boot · Updated 2025-02-26 04:09:34 +00:00    dongl	210 1	Compare	ZIP  TAR.GZ
lsf37/riscv-clock-test 6b204b3fe4 · Merge branch 'master' into lsf37/riscv-clock-test · Updated 2024-12-20 00:32:19 +00:00    dongl	233 2	Compare	ZIP  TAR.GZ
zynqmp-12.0.0 ba7d826615 · configs: verified 32-bit config for zynqmp · Updated 2024-08-15 09:07:42 +00:00    dongl	1260 1	Compare	ZIP  TAR.GZ
mbrcknl/mcs-grant-via-reply-alt 75d3f97085 · MCS: Remove grant right from reply cap · Updated 2024-07-22 07:51:27 +00:00    dongl	267 2	Compare	ZIP  TAR.GZ
mbrcknl/mcs-grant-via-reply c3d77ea0b3 · MCS: Restrict reply grant rights · Updated 2024-07-22 07:51:23 +00:00    dongl	267 1	Compare	ZIP  TAR.GZ
lsf37/cython 621b2fd23b · sel4-deps: cython >=3 breaks pyyaml < 5.4 at build · Updated 2024-07-12 04:04:52 +00:00    dongl	279 1	Compare	ZIP  TAR.GZ
axel-h/ci-base bf02b59c46 · CI: debug · Updated 2024-04-12 18:08:41 +00:00    dongl	347 3	Compare	ZIP  TAR.GZ
jade/msi 41c77999f6 · VT-d: add remappable MSI support · Updated 2023-11-10 06:23:16 +00:00    dongl	433 5	Compare	ZIP  TAR.GZ
exynos5-ver 5cf20448b8 · switch ARM_HYP verified config to Exynos5 · Updated 2023-06-01 22:35:00 +00:00    dongl	529 1	Compare	ZIP  TAR.GZ
mbrcknl/bv-ci 17b6d0ed07 · ci: Add job for cpp-compatible updates to MCS · Updated 2022-12-09 01:27:02 +00:00    dongl	612 1	Compare	ZIP  TAR.GZ
mbrcknl/preprocess-deploy-mcs be0f015636 · ci: add MCS to preprocess-deploy · Updated 2022-07-07 05:19:53 +00:00    dongl	666 1	Compare	ZIP  TAR.GZ
riscv_he_v0.6 611ac42266 · riscv-he: (rebase fix) allow use of PLIC with spike platform · Updated 2022-03-22 05:16:18 +00:00    dongl	717 33	Compare	ZIP  TAR.GZ
rk3288 2d4f3b6db6 · arm: move ASID PD slot · Updated 2021-09-08 09:32:40 +00:00    dongl	928 10	Compare	ZIP  TAR.GZ
sylvain/gic-v3 c03c308dc9 · imx8m-evk: add guest memory region to dts · Updated 2021-08-30 03:21:42 +00:00    dongl	964 7	Compare	ZIP  TAR.GZ
misra-12.1.0-changes 21c1a2ca7a · Release 12.1.0 · Updated 2021-06-10 06:59:48 +00:00    dongl	1100 0	Included	ZIP  TAR.GZ
riscv-binary-verification 6aae25e96d · mcs: reduce inlining in operations on refills · Updated 2021-03-31 03:08:25 +00:00    dongl	1194 3	Compare	ZIP  TAR.GZ