Sentry Kernel
Approved changes feed: RSS · Atom
cpe:2.3:a:camelot-os:sentry-kernel:*:*:*:*:*:*:*:*part: a version: * update: *
| Vendor | Camelot Os (39411a0d-b130-5007-b083-66f3ca6ed94f) |
|---|---|
| Product | Sentry Kernel (ff2600eb-f6be-52dc-aacc-624b246f0b71) |
| Edition | * |
| Language | * |
| Software edition | * |
| Target software | * |
| Target hardware | * |
| Other | * |
Notes
Imported from gcve-enriched-dumps CVE data
PURL mappings
| PURL | Source | Last updated |
|---|---|---|
| No PURL mappings for this CPE yet. | ||
Vulnerability references
| Identifier | cpeApplicability | Submitted | db.gcve.eu details | Rationale |
|---|---|---|---|---|
CVE:CVE-2026-40337 |
vulnerable | 2026-06-08 08:01:20.191081 |
Sentry kernel has incomplete ownership check for IRQ line manipulation
MEDIUM (5.1)
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.
Published: 2026-04-17T23:51:09.866Z
Updated: 2026-04-20T16:13:48.908Z |
Imported from gcve-enriched-dumps CVE data |
Contribute
You can submit an edit proposal for this CPE entry or suggest a related product/vendor addition using the action button above.
Inspect record JSON
Open this panel to browse, search, copy or download the JSON record.