CVE-2026-40337

MEDIUM5.1

Sentry kernel has incomplete ownership check for IRQ line manipulation

Published Apr 17, 2026

Modified 3 days ago

Details

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.

References

WEB

https://github.com/camelot-os/sentry-kernel/commit/150b7edd2c5b0da0a8baeed3135ddde613b08081

WEB

https://github.com/camelot-os/sentry-kernel/pull/108

WEB

https://github.com/camelot-os/sentry-kernel/security/advisories/GHSA-5hgv-rg2f-79pg

ADVISORY

https://www.cve.org/CVERecord?id=CVE-2026-40337

CVSS Analysis

CVSS v3.1

5.1