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