v0.4.7

What's Changed

Vulnerability fixes

• fix,cve: fixing incomplete ownership check for IRQ manipulation by @PThierry in #108

Bugfixes

• fixing meson regression on native build by @PThierry in #94
• qual: removing userspace stuff from kernel codequal coverage by @PThierry in #96
• asm,cortex-m: fix initial EXC_RETURN value by @fvalette in #98
• ci: fixing nooutput e2e run adding missing build dep by @PThierry in #106
• autotest: fixing dev table indexes generation error by @PThierry in #109

Formal proof and correctness

• proof: demonstrate that regions do not overlap and are disjoint by @PThierry in #89
• proof: fixing deprecated empty_block() Frama-C predicate with valid_or_empty() by @PThierry in #100

CI/CD evolutions and fixes

• ci: adding e2e tests allowing sentry build run tests using slab emulation by @PThierry in #97

Other Changes

• Fix device labeling by @PThierry in #102
• build(deps): bump actions/download-artifact from 4 to 8 by @dependabot[bot] in #103
• build(deps): bump actions/upload-artifact from 4 to 7 by @dependabot[bot] in #104
• RMA sheduler implementation for Sentry by @PThierry in #105

Full Changelog: v0.4.6...v0.4.7

v0.4.6

What's Changed

Bugfixes

• meson: add c compiler check headers for standard ones by @fvalette in #92
• meson: do not export private header into uapi dep file by @fvalette in #93

Full Changelog: v0.4.5...v0.4.6

v0.4.5

What's Changed

Build system

• sp,upd: update nlohmann_json to latest wrapdb version by @PThierry in #82
• fix: using sdist tarball for cmsis-core-include by @PThierry in #84
• renaming meson-svd to kadoc and using release by @PThierry in #85
• deps: support for devicetree release instead of git by @PThierry in #86
• meson: adding release-based kconfig subproj inclusion by @PThierry in #87

Other Changes

• cpp,argparse: bump argparse version 3.0 -> 3.2 by @fvalette in #83
• secu: enforce reset on userspace fault detection by @PThierry in #77

Full Changelog: v0.4.4...v0.4.5

v0.4.4

What's Changed

Build system

• SBOM delivery to meson install target by @PThierry in #80

Full Changelog: v0.4.3...v0.4.4

v0.4.3

What's Changed

Bugfixes

• fix: fixing rust bitcode need for lto usage by @PThierry in #79

Tests and autotesting framework

• ci: adding sonar coverage by @PThierry in #74

Build system

• fix: using generic headers when not arch or driver by @PThierry in #71

CI/CD evolutions and fixes

• hotfix: fixing sonar scanner action version by @PThierry in #75

Other Changes

• doc: fixing authoring of concepts and internals docs by @PThierry in #68
• Doc/update non impl yet features by @fvalette in #69
• build(deps): bump fsfe/reuse-action from 5 to 6 by @dependabot[bot] in #70
• sec, task: add kconfig entry for task domain. by @fvalette in #73
• sec: support for domain filtering by @PThierry in #72
• build(deps): bump actions/checkout from 5 to 6 by @dependabot[bot] in #76
• build(deps): bump SonarSource/sonarqube-scan-action from 6 to 7 by @dependabot[bot] in #78

Full Changelog: v0.4.2...v0.4.3

v0.4.2

What's Changed

Bugfixes

• autotest: fix autotest rust build by @PThierry in #66

Tests and autotesting framework

• Support for autotest application in full Rust by @r3dlight @fvalette and @PThierry in #47
• kernel,sysgate: adding autotest-only capability control by @PThierry in #53
• autotest: capabilities coverage check startup by @PThierry in #54

New target support

• rp3250-smp-support-bootstrap by @PThierry in #37
• Riscv port by @lb-anssi in #26

Formal proof and correctness

• proof(zlib): starting zlib implementation functional correctness by @PThierry in #32
• proof: fixing DMA handle translation assertion by @PThierry in #58

Build system

• build: adding experimental marker for SMP mode by @PThierry in #43

Other Changes

• Add Kani proofs for rust uapi by @r3dlight in #24
• kernel,rcc: avoid warning on busid check while not yet dts-based by @PThierry in #18
• enhancement: support logo bootup in serial mode by @PThierry in #36
• fix: add missing iso-C standard headers by @PThierry in #38
• OSS: fix outpost typo by @PThierry in #49
• doc: update Frama-C related documentation with last Sentry state of art by @PThierry in #45
• UAPI: Set PartialEq for Status enum by @r3dlight in #62
• build(deps): bump actions/checkout from 4 to 5 by @dependabot[bot] in #61
• Fix cargo miri tests by @r3dlight in #64

New Contributors

• @lb-anssi made their first contribution in #26

Full Changelog: v0.4.1...v0.4.2

v0.4.1

What's Changed

Bugfixes

• ci,macosx: fixing MacOS build, removing pip upgrade by @PThierry in #10
• fix: adding missing hsi48 clock source config for RNG usage by @PThierry in #21

Tests and autotesting framework

• tests: removing gtest definitively by @PThierry in #11
• UAPI: Bump rust edition to 2024 + Fix miri tests by @r3dlight in #8

Formal proof and correctness

• proof: moving shared tooling to dedicated library by @PThierry in #7

Build system

• build: adding Stef as UAPI code owner by @PThierry in #13
• Feature/bump meson to 1.7.0 by @fvalette in #14
• build: moving CFI flags to lib level by @PThierry in #16

Other Changes

• ci: removing sdist to jfrog by @PThierry in #2
• tests: cmocka initial support by @PThierry in #4
• UAPI: Add SentryExchangeable trait implementation for ShmHandle. by @r3dlight in #6
• tests: moving gtest-based to mocka by @PThierry in #5
• build,deps: moving to camelot-hosted project by @PThierry in #9
• doc: updating README with a complete helper for cross-files by @PThierry in #15
• Removing check for dunamai binary in meson by @PThierry in #22
• autotest: adding test suite as library by @PThierry in #23

New Contributors

• @PThierry made their first contribution in #2
• @r3dlight made their first contribution in #6
• @fvalette made their first contribution in #14

Full Changelog: v0.4.0...v0.4.1

v0.4.0

What's Changed

Tests and autotesting framework

uapi: add support for complete systypes and cargo ecosystem by @PThierry

Other Changes

UAPI: move extern C to dediacted ffi_c module by @PThierry
rust: add linker to rustargs by @fvalette
cleaner kernel-user exchange area manipulation by @PThierry
uapi,ffi_c: fix copy_from/to API to more rust-homogeneous one by @PThierry
uapi: bump to homogeneous version w. kernel release by @PThierry

Full Changelog: v0.3.0...v0.4.0