CVE 5.1 MEDIUM

Sentry kernel has incomplete ownership check for IRQ line manipulation_CVE-2026-40337

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

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.

Basic Information

ID CVE-2026-40337
Source GitHub_M
Published Apr 17, 2026 at 23:51

Affected Product

Vendor camelot-os
Product sentry-kernel
Version < 0.4.7
Affected Versions camelot-os sentry-kernel < 0.4.7

CWE Classification

References

💭 Join the Security Discussion

🔒 Your email address will not be published. Required fields are marked *

⚠️ Please be respectful and constructive in your comments. Security discussions should remain professional.