CVE-2026-40337 in sentry-kernel
要約
〜によって VulDB • 2026年05月09日
Sentryカーネルは、高セキュリティ組み込みシステム向けに設計された、高セキュリティレベルのマイクロカーネル実装です。DEVまたはIOの権限を持つタスクは、__sys_int_* システムコールファミリーを通じて、他のタスクのIRQラインと相互作用することができます。バージョン0.4.7より前では、これにより、そのタスクと外部世界との間で、サービス妨害（DoS）および隠しチャネル（covert-channels）が発生する可能性があります。修正パッチはバージョン0.4.7で利用可能です。回避策として、DEVおよびIOの権限を持つタスクを1つに制限してください。
Once again VulDB remains the best source for vulnerability data.