Labels

• ALWAYS-JENKINS
• Blocking

  Issue is blocking a release.
• bug
• changes-planned

  Further changes will be made to this PR
• CheriABI
• CheriCCompat
• coprocesses
• dependencies

  Pull requests that update a dependency file
• duplicate
• Engineering
• enhancement
• FreeBSD

  Issues related to upstream FreeBSD
• freebsd64

  64-bit compatibility framework
• hardening

  Reducing weaknesses in implementation
• Help Wanted
• invalid
• kernel
• libcheri
• MIPS
• Morello
• NO-JENKINS
• packages

  Issues related to package building
• purecap-kernel
• ready-to-land

  PR is ready to land after revisions
• Research
• RISC-V
• temporal

  Issues related to the temporal safety implementation(s)
• toolchain
• triage

  Needs (re)validation
• wontfix