Kernel Sentry to implementacja micro-kernela o wysokim poziomie bezpieczeństwa przeznaczona dla wysokobezpiecznych systemów wbudowanych. Zadanie posiadające możliwość DEV lub IO może wchodzić w interakcję z linią IRQ innego zadania poprzez rodzinę syscalli __sys_int_*. Przed wersją 0.4.7 może to prowadzić do DoS i covert-channels między tym zadaniem a światem zewnętrznym. Łatka dostępna jest w wersji 0.4.7. Jako obejście należy ograniczyć zadania posiadające możliwości DEV i IO do jednego.
▸ Pokaż oryginał (EN)
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.
CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H