CVE-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 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.
Configurations

No configuration.

History

26 Oct 2026, 21:10

Type Values Removed Values Added
Summary
  • (es) El kernel Sentry es una implementación de micro-kernel de alto nivel de seguridad hecha para sistemas embebidos de alta seguridad. Una tarea dada con una de las capacidades DEV o IO es capaz de interactuar con la línea IRQ de otra tarea a través de la familia de syscalls __sys_int_*. Antes de la versión 0.4.7, esto puede llevar a DoS y canales encubiertos entre esta tarea y el mundo exterior. Un parche está disponible en la versión 0.4.7. Como solución alternativa, reduzca las tareas que tienen la capacidad DEV e IO a una sola.

Information

Published : 2026-04-18 00:16

Updated : 2026-10-26 21:10


NVD link : CVE-2026-40337

Mitre link : CVE-2026-40337

CVE.ORG link : CVE-2026-40337


JSON object : View

Products Affected

No product.

CWE
CWE-283

Unverified Ownership