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