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.
Metrics
Affected Vendors & Products
References
History
Mon, 20 Apr 2026 17:15:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| Metrics |
ssvc
|
Mon, 20 Apr 2026 15:15:00 +0000
| Type | Values Removed | Values Added |
|---|---|---|
| First Time appeared |
Camelot-os
Camelot-os sentry-kernel |
|
| Vendors & Products |
Camelot-os
Camelot-os sentry-kernel |
Sat, 18 Apr 2026 00:00:00 +0000
| 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
|
Status: PUBLISHED
Assigner: GitHub_M
Published: 2026-04-17T23:51:09.866Z
Updated: 2026-04-20T16:13:48.908Z
Reserved: 2026-04-10T22:50:01.358Z
Link: CVE-2026-40337
Updated: 2026-04-20T16:13:43.170Z
Status : Awaiting Analysis
Published: 2026-04-18T00:16:37.667
Modified: 2026-04-20T19:03:07.607
Link: CVE-2026-40337
No data.