The Sentry kernel is a high security level micro-kernel implementation made for high security embedded systems. A given task with one of…
GitHub_M·CWE-283·Published 2026-04-17
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.
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.
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.
| Version | Type | Source | Base | Exp | Impact | Vector |
|---|---|---|---|---|---|---|
| 3.1 | Primary | cve.org | 5.1 | — | — | CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H |
| 3.1 | Primary | cve.org | 5.1 | — | — | CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H |
| 3.1 | Secondary | NVD | 5.1 | 0.8 | 4.2 | CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H |