The Sentry kernel is a high security level micro-kernel implementation made for high security embedded systems.

Code

The project this record applies to. Exploit listings stay in References.

• Repository · github.com

Timeline

Detection, updates, and resolution for this record.

1. Apr 18, 2026 · NIST NVD

   Detected

   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

2. Jun 17, 2026 · NIST NVD

   Updated

   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

Sources

• CVE.orgVulnerability recordCVE-2026-40337

  Official CVE identifier

  cve.org
• NIST NVDVulnerability recordCVE-2026-40337

  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

  nvd.nist.gov

References

• Reference · github.com
• Reference · github.com
• Reference · github.com