Vulnerability · Published Apr 17, 2026 · Assigned by GitHub_M
CVE-2026-40337Sentry kernel has incomplete ownership check for IRQ line manipulation
Medium 5.1
In plain English
A medium-severity security flaw in sentry-kernel from camelot-os. There are no confirmed reports of exploitation so far. The chance it is exploited in the next 30 days is estimated at 0.2% (higher than 5% of all known vulnerabilities).
Official 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.
Affected products (as reported)
| Vendor | Product | Versions |
|---|---|---|
| camelot-os | sentry-kernel | < 0.4.7 |
Weakness: CWE-283 · Vector: CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H