-
Notifications
You must be signed in to change notification settings - Fork 5
Pull requests: camelot-os/sentry-kernel
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
secu: enforce reset on userspace fault detection
security
Security relative update, not being an CVE (e.g. hardening part, security checks, etc.)
rp2350: adding basics about rp2350 kconfig & svd inputs
build-system
build-system related fixes
new-soc
Port to a new SoC
uapi,meson: add 'kconfig defined' svc exchange size
build-system
build-system related fixes
uapi
Evolution of the uapi Rust library
proof: starting support for e-acsl runtime assertion as advanced security mode
build-system
build-system related fixes
framac:contract
formal correctness (contracts)
question
Further information is requested
proof(zlib): initial contracts for generic sort API
framac:contract
formal correctness (contracts)
framac:norte
noRTE proofs
ProTip!
Filter pull requests by the default branch with base:main.