CVE-2026-40337
Sentry kernel has incomplete ownership check for IRQ line manipulation
- State
- Published
- Severity
- 5.1 Medium
- Published
- Apr 17, 2026
- Updated
- Apr 20, 2026
- Reserved
- Apr 10, 2026
Description
The Sentry kernel is a high security level micro-kernel implementation made for high security embedded systems. A given task with one of the DEV or IO capability is able to interact with another task's IRQ line through the __sys_int_* syscall familly. Prior to version 0.4.7, this can lead to DoS and covert-channels between this task and the outer world. A patch is available in version 0.4.7. As a workaround, reduce tasks that have the DEV and IO capability to a single one.
Scores
| CVSS | Score | Vector | Source |
|---|---|---|---|
| 3.1 | 5.1 Medium | CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H | GitHub_M |
Weaknesses
- CWE-283 Unverified Ownership
Affected Products
| Product | Versions |
|---|---|
sentry-kernelcamelot-os |
|
References
Every record here comes from the CVE Program’s CVE List. © 1999–2026 The MITRE Corporation. CVE is a registered trademark of The MITRE Corporation. The records are reproduced under the CVE Program terms of use.