Skip to content
OpenAdvisories

Product · camelot-os

sentry-kernel

1 known vulnerabilities.

1 result · Clear filters · Feed

  • Medium 5.1

    Sentry kernel has incomplete ownership check for IRQ line manipulation

    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 t…