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

• 1253115999 hw debug api: aarch64 port Alwin Joshy 2024-07-17 10:53:34 +10:00
• b3974732b9 hw debug api: modify single stepping checks Alwin Joshy 2024-02-22 18:14:02 +11:00
• 28ffc62f74 aarch32: change dbg register fields Alwin Joshy 2024-02-20 12:10:19 +11:00
• c35930f565 change files to allow compilation Alwin Joshy 2024-02-15 12:33:28 +11:00
• e86bd7542c Split arm/machine/debug.c Indan Zupancic 2024-02-18 10:19:00 +00:00
• ad6a956103 Prepare Split arm/machine/debug.c Indan Zupancic 2024-02-18 10:32:29 +00:00
• 3c2c5ba18a risc-v: remove special handling for restoring tp Axel Heider 2024-05-23 15:12:41 +02:00
• 11eb510ec3 cmake/QEMU: ensure output folder exists Axel Heider 2024-02-21 16:43:35 +01:00
• 9e2e3a3d1a cmake: fix style issues Axel Heider 2024-03-31 03:07:27 +02:00
• 6b6bb12501 mcs: remove parameter from schedContext_unbindTCB Michael McInerney 2024-07-16 12:03:05 +09:30
• 220ef4f94e mcs: refactor awaken Michael McInerney 2024-07-04 12:18:16 +09:30
• 621b2fd23b sel4-deps: cython >=3 breaks pyyaml < 5.4 at build lsf37/cython Gerwin Klein 2024-07-12 11:54:12 +10:00
• 619a310a6e sel4-deps: tighten deps; update instructions Gerwin Klein 2024-07-11 10:50:32 +10:00
• 9567675c2b sel4-deps: update maintainer address Gerwin Klein 2024-07-10 09:36:33 +10:00
• 9d2f3cd0c2 sel4-deps: bump autopep8 version Gerwin Klein 2024-07-10 09:35:50 +10:00
• 4b7c2a315f configs: add zynqmp and rpi4 to verified platforms Gerwin Klein 2024-07-05 10:59:20 +10:00
• 4856e6b0fa fix parameter for log buffer cleanup Axel Heider 2024-07-05 14:17:02 +02:00
• 7a3ab6bb2e Update VERSION file to 13.0.0-dev seL4 CI 2024-07-01 17:20:56 +10:00
• cd6d3b8c25 recreate 13.0.0 release state 13.0.0 Gerwin Klein 2024-07-01 18:31:53 +10:00
• 94ca590d6c Update VERSION file to 13.0.0-dev seL4 CI 2024-07-01 17:20:56 +10:00
• 2249143c73 Release 13.0.0 seL4 CI 2024-07-01 17:20:56 +10:00
• 4f1e7bdfa0 CHANGES: update changelog for upcoming release (#1283) Gerwin Klein 2024-07-01 17:17:33 +10:00
• 0cdbffec9c Merge branch 'master' into microkit Ivan Velickovic 2024-07-01 16:00:59 +10:00
• a6129c15d3 manual: document useful constants for SC creation Gerwin Klein 2024-07-01 15:24:29 +10:00
• f52e102d5d caveats: language tweaks for more clarity Gerwin Klein 2024-07-01 14:54:37 +10:00
• 0b4f14f8ae caveats: more Intel caveats Gerwin Klein 2024-06-30 15:57:31 +10:00
• 1aa42bec1d caveats: improve vspace reuse; tweak multikernel Gerwin Klein 2024-06-30 15:55:48 +10:00
• 5c1d58c17e caveats: add MCS WCET and cache ops Gerwin Klein 2024-06-27 14:42:04 -04:00
• f64c7b659d caveats: add tested platforms for SMP combinations Gerwin Klein 2024-06-24 13:34:59 +10:00
• 54040e84b3 caveats: rework correctness, add SMP, more MCS Gerwin Klein 2024-06-24 12:36:16 +10:00
• 16003dfb6b caveats: consolidate into a single md file Gerwin Klein 2024-06-24 11:32:43 +10:00
• e5d01aa3f2 vspace: check for stale mapping on all flush types Gerwin Klein 2024-07-01 10:25:36 +10:00
• 79cee3563f CHANGES: document dc ivac issue Gerwin Klein 2024-06-26 21:07:54 -04:00
• dd3fe96db4 aarch64: check if page is writeable for DC IVAC Gerwin Klein 2024-06-16 15:14:21 +10:00
• cae4662a45 manual: params don't have errors Indan Zupancic 2024-03-26 13:36:52 +00:00
• 74b4768a59 manual: fix contact link Indan Zupancic 2024-03-26 13:37:42 +00:00
• a1d8660218 trivial: update style Gerwin Klein 2024-06-30 18:20:48 +10:00
• a3f6be3c7c libsel4: add links in place of renamed XML files Nick Spinale 2024-06-27 11:30:19 +00:00
• 58fac368f3 trivial: Fix XML style Nick Spinale 2024-06-30 05:26:07 +00:00
• dbd6efc507 libsel4: rename interface XML files Nick Spinale 2022-11-30 13:02:56 +00:00
• 9a22e40b46 config.py: update comment to reflect kernel assert Gerwin Klein 2024-06-30 12:26:54 +10:00
• c7822a1c1c config.py: fix SUPERSECTION_BITS for arm_hyp Gerwin Klein 2024-06-26 13:35:01 -04:00
• 10bb153967 arm: add missing seL4_VPPIEvent_Length constants Nick Spinale 2024-06-23 01:50:52 +00:00
• 95fdffe4f2 CHANGES: update link to previous releases Gerwin Klein 2024-06-27 10:02:50 -04:00
• cbfeb8988a CHANGES: minor style/spelling fixes Ivan Velickovic 2024-06-27 11:00:10 +10:00
• 91415f0461 CHANGES: remove broken link Gerwin Klein 2024-06-26 20:42:34 -04:00
• 4a7d636767 CHANGES: add missing new platforms Gerwin Klein 2024-06-24 14:35:30 +10:00
• 47f82647a4 CHANGES: improve spelling and code quotes Gerwin Klein 2024-06-24 14:25:43 +10:00
• 3ec68b21ea CHANGES: add sections to upcoming releases Gerwin Klein 2024-06-24 14:18:23 +10:00
• 254c1b0093 changes: improve markdown compliance Gerwin Klein 2024-06-24 14:07:45 +10:00
• 50f682775a CHANGES: rename to CHANGES.md Gerwin Klein 2024-06-24 13:43:30 +10:00
• 1aa9ff8511 manual: list all faults and fix style Ivan Velickovic 2024-06-24 10:37:26 +10:00
• d3d4cc6023 Fix macro to get irq idx from irqt milicat 2024-06-25 01:23:13 +08:00
• 357674fb1d CONTRIBUTORS: add contributors since 12.1.0 Gerwin Klein 2024-06-24 11:29:02 +10:00
• b93de1fdd5 mcs: use sc_active in isSchedulable Michael McInerney 2024-06-21 15:15:25 +09:30
• 2648df42c4 mcs: rewrite guard in preemptionPoint Michael McInerney 2024-06-20 11:46:35 +09:30
• 7592bbe46d CHANGES: update RFC links Gerwin Klein 2024-06-20 14:50:45 +10:00
• c7bdf1f921 vcpu: only trap WFx instructions from vCPUs Andy Bui 2024-05-22 01:31:18 +10:00
• 15fa2cf9c2 manual: typos and style/grammar corrections hexcoder 2024-05-15 17:49:14 +02:00
• c28e52a1ec mcs: refactor refill_unblock_check Michael McInerney 2024-02-17 01:07:29 +10:30
• 5fd8602bc0 Manual: Document ARM Virtualisation Faults Indan Zupancic 2024-04-16 16:50:33 +01:00
• 8cbc13d5b8 Manual: Document ARM Virtualisation Indan Zupancic 2024-03-26 13:26:41 +00:00
• 44af0c5776 Force long enum seL4_VCPUReg Indan Zupancic 2024-03-26 16:15:00 +00:00
• 0f676f3b9c Rename seL4_TimeoutMsg to seL4_Timeout_Msg Indan Zupancic 2024-03-26 16:13:48 +00:00
• 1e6b69cdb6 arm tlb: guard TLB lockdown count Gerwin Klein 2024-05-02 10:30:12 +10:00
• f03bcab247 arm tlb: only perform TLB lockdown for Cortex A8 Gerwin Klein 2024-05-02 14:58:49 +10:00
• 049580ffed cmake: style fix Gerwin Klein 2024-06-16 14:25:54 +10:00
• 1cca12ba2e Disable KernelRiscvUseClintMtime by default Ivan Velickovic 2024-06-11 16:08:39 +08:00
• 5135e764a7 Make write-only mapping message consistent Ivan Velickovic 2024-06-11 17:03:18 +08:00
• 6e9370a561 ioapic: set IOAPIC_IRQ_LINES to max allowed Gerwin Klein 2024-06-13 15:05:09 +10:00
• d513db6cb8 github: use default Isabelle version for proofs Gerwin Klein 2024-06-13 20:15:20 +10:00
• f8b289d096 Add new imx8mp-evk platform Damon Lee 2024-05-14 13:34:05 +10:00
• ecec5e4afb pc99: only access real IOAPIC registers Peter Chubb 2022-07-29 12:17:19 +10:00
• bf2134e6de manual: document write-only pages Ivan Velickovic 2024-06-11 16:57:58 +08:00
• ddeb18a015 bitfield_gen: properly escape backslash Gerwin Klein 2024-05-20 14:19:38 +10:00
• 503ad776bc risc-v: improve comments Axel Heider 2024-05-23 12:58:59 +02:00
• 686bba4d2a mcs: more uniformly handle ready and release queue Michael McInerney 2023-06-14 21:14:10 +09:30
• 410b464c27 Remove unused Python imports in scripts Ivan Velickovic 2024-05-02 12:23:59 +10:00
• 67a812009a manual: remove dependency on 'six' Python package Ivan Velickovic 2024-05-02 12:16:39 +10:00
• 4d7fc32a24 Remove python2 support for core build tools Ben Leslie 2021-11-16 01:49:36 +00:00
• 57975d4853 Merge branch 'master' into microkit Ivan Velickovic 2024-05-01 16:22:46 +10:00
• 0260fba168 fix: invisible chars due to ANSI escape codes wucke13 2024-04-20 13:14:50 +02:00
• bf02b59c46 CI: debug axel-h/ci-base Axel Heider 2024-04-11 01:53:14 +02:00
• 0fe0bfb55c CI: reduce load Axel Heider 2024-04-11 00:24:07 +02:00
• 799c8b130f CI: use ci-actions patch-axel-17 Axel Heider 2024-02-11 17:21:27 +01:00
• a58480425c make SMP conditional check more general Axel Heider 2024-03-22 16:52:04 +00:00
• 8c82535e50 fix rust stub generation script Axel Heider 2024-03-22 16:55:14 +00:00
• f461e0fa17 cmake: remove obsolete variable Axel Heider 2024-03-12 13:50:11 +01:00
• 87112d8afb libsel4: remove obsolete --cfile and --word-size Axel Heider 2024-04-08 16:13:42 +02:00
• 3714cde1e8 fix style issues Axel Heider 2024-04-08 16:13:36 +02:00
• 05d0f06620 fix type, add missing 'extern' keyword Axel Heider 2024-04-09 12:28:49 +02:00
• 90bd5575b2 aarch64: Rename armKSGlobalLogPDE Krishnan Winter 2024-04-09 11:00:49 +10:00
• 21ef06782a aarch64: Correct PT lvl macro Krishnan Winter 2024-03-26 10:59:55 +11:00
• 9dbc708821 aarch64: Fixed kernel log buffer Krishnan Winter 2024-01-29 12:24:42 +11:00
• daf0afad71 trivial/cmake: fix typo in description Axel Heider 2024-03-25 23:24:44 +01:00
• 62d9ef8228 cmake: fix style issues Axel Heider 2024-03-25 23:39:11 +01:00
• 600ea414e0 trivial/cmake: add missing bracket in comment Axel Heider 2024-03-12 13:50:03 +01:00
• ed5e7c8e56 boot: Fix root cnode size compile-time assert Craig McLaughlin 2024-04-05 13:23:17 +11:00
• 21d699828d Fix macro to access overflow node Krishnan Winter 2024-03-26 11:17:20 +11:00
• 4d7cde075b CI: cancel older concurrent PR runs Axel Heider 2024-02-12 00:05:03 +01:00