Commit Graph

  • 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