https://cve.radiocsirt.org/rss/recent/all/10 Most recent entries from all 2026-10-07T06:45:23.580854+00:00 Vulnerability-Lookup csirt@opendfir.org python-feedgen Contains only the most 10 recent entries. https://cve.radiocsirt.org/vuln/cve-2026-40337 CVE-2026-40337 — Sentry kernel has incomplete ownership check for IRQ line manipulation 2026-10-07T06:45:23.601876+00:00

Affected: camelot-os sentry-kernel

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.