CVE-2026-40337

Sentry kernel has incomplete ownership check for IRQ line manipulation

Published Apr 17, 2026 CVSS 3.1 · 5.1 Medium EPSS < 1% KEV · Not listed
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.

Remediation

No solution or workaround provided in the CVE record

Tracking

Sign in to view the affected projects.

Advisories

No advisories available
History
Type Values Removed Values Added
Metrics ssvc

{'options': {'Automatable': 'no', 'Exploitation': 'none', 'Technical Impact': 'partial'}, 'version': '2.0.3'}

Type Values Removed Values Added
First Time appeared Camelot-os
Camelot-os sentry-kernel
Vendors & Products Camelot-os
Camelot-os sentry-kernel
Type Values Removed Values Added
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.
Title Sentry kernel has incomplete ownership check for IRQ line manipulation
Weaknesses CWE-283
References
Metrics cvssV3_1

{'score': 5.1, 'vector': 'CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H'}

Weaknesses

Sources

Status
PUBLISHED
Assigner
GitHub_M
Published
Updated
Apr 20, 2026, 4:13 PM
Reserved
Apr 10, 2026, 10:50 PM
Status
Deferred
Published
Apr 18, 2026, 12:16 AM
Modified
Oct 26, 2026, 9:10 PM