Home

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.

PUBLISHED Reserved 2026-04-10 | Published 2026-04-17 | Updated 2026-04-20 | Assigner GitHub_M




MEDIUM: 5.1CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H

Problem types

CWE-283: Unverified Ownership

Product status

< 0.4.7
affected

References

github.com/...kernel/security/advisories/GHSA-5hgv-rg2f-79pg

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

github.com/...ommit/150b7edd2c5b0da0a8baeed3135ddde613b08081

cve.org (CVE-2026-40337)

nvd.nist.gov (CVE-2026-40337)

Download JSON