List view

rp2350: adding basics about rp2350 kconfig & svd inputs

build-systembuild-system related fixesbuild-system related fixes

new-socPort to a new SoCPort to a new SoC

Status: Open (in progress).

camelot-os/sentry-kernelnumber 42

#42 In camelot-os/sentry-kernel;

· PThierry opened on Jul 4, 2025

proof: starting support for e-acsl runtime assertion as advanced security mode

build-systembuild-system related fixesbuild-system related fixes

framac:contractformal correctness (contracts)formal correctness (contracts)

questionFurther information is requestedFurther information is requested

Status: Draft (not ready).

camelot-os/sentry-kernelnumber 34

#34 In camelot-os/sentry-kernel;

· PThierry opened on Jun 17, 2025

Stm32h573 addition

new-socPort to a new SoCPort to a new SoC

Status: Draft (not ready).

camelot-os/sentry-kernelnumber 27

#27 In camelot-os/sentry-kernel;

· lb-anssi opened on May 23, 2025

SVD support for RP2350

build-systembuild-system related fixesbuild-system related fixes

new-socPort to a new SoCPort to a new SoC

Status: Open.

#41 In camelot-os/sentry-kernel;

· PThierry opened on Jul 3, 2025

SMP scheduling policy

code-architectureModification of the code architectureModification of the code architecture

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#40 In camelot-os/sentry-kernel;

· PThierry opened on Jul 3, 2025

SMP boolting policy analysis and doc

code-architectureModification of the code architectureModification of the code architecture

new-archPort to a new architecturePort to a new architecture

new-socPort to a new SoCPort to a new SoC

Status: Open.

#39 In camelot-os/sentry-kernel;

· PThierry opened on Jul 3, 2025

STM32: SYSCFG is remplaced by SBS

enhancementNew feature or requestNew feature or request

new-socPort to a new SoCPort to a new SoC

Status: Open.

Feature

#31 In camelot-os/sentry-kernel;

· fvalette opened on May 26, 2025

Capabilities autotesting to complete

enhancementNew feature or requestNew feature or request

securitySecurity relative update, not being an CVE (e.g. hardening part, security checks, etc.)Security relative update, not being an CVE (e.g. hardening part, security checks, etc.)

testTest-related fixTest-related fix

Status: Open.

#59 In camelot-os/sentry-kernel;

· PThierry opened on Aug 1, 2025

uapi,posix: initial POSIX support for UAPI

build-systembuild-system related fixesbuild-system related fixes

ci-cdCI/CD evolutions and fixesCI/CD evolutions and fixes

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

testTest-related fixTest-related fix

uapiEvolution of the uapi Rust libraryEvolution of the uapi Rust library

Status: Open (in progress).

camelot-os/sentry-kernelnumber 99

#99 In camelot-os/sentry-kernel;

· PThierry opened on Feb 21, 2026