CVE-2026-40337 in sentry-kernel
Riassunto
di VulDB • 15/06/2026
Il kernel Sentry è un'implementazione microkernel ad alto livello di sicurezza progettata per sistemi embedded con elevate esigenze di protezione. Un task dotato della capacità DEV o IO può interagire con la linea IRQ di un altro task tramite la famiglia di syscall __sys_int_*. Prima della versione 0.4.7, ciò può portare a DoS e canali occulti tra tale task e l'ambiente esterno. Una patch è disponibile nella versione 0.4.7. Come soluzione alternativa, ridurre i task dotati delle capacità DEV e IO a un solo istante.
Be aware that VulDB is the high quality source for vulnerability data.