4 Pull requests merged by 3 people

• mcs: refactor reply functions to ease verification

  #1440 merged Apr 4, 2025

• Add support for SiFive Premier P550 platform

  #1397 merged Apr 2, 2025

• github: deploy mcs verification manifest

  #1441 merged Apr 1, 2025

• configs: mark Ultra96v2 as supported by the proofs

  #1439 merged Mar 31, 2025

2 Pull requests opened by 1 person

• x86/vcpu: Allow CR0.PE and CR0.PG to be cleared

  #1438 opened Mar 30, 2025

• arch/x86: Support Xen x86/HVM direct boot ABI

  #1443 opened Apr 2, 2025

1 Issue closed by 1 person

• Can seL4 run as a userspace process on Linux / any of the four BSDs / macOS / Windows?

  #1444 closed Apr 4, 2025

1 Issue opened by 1 person

• Spurious IRQs on RISC-V SMP

  #1442 opened Apr 2, 2025

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• yieldTo: respect kernel reply protocol

  #1435 commented on Apr 2, 2025 • 8 new comments

• clang rv64/rv32 simulations started taking 12min+

  #1436 commented on Apr 1, 2025 • 0 new comments

• yieldTo message semantics

  #1433 commented on Apr 2, 2025 • 0 new comments

• Add new APIs for generating SGIs

  #1222 commented on Apr 1, 2025 • 0 new comments

• FPU Context Switching

  #1325 commented on Mar 31, 2025 • 0 new comments