Disable Secure floating point and seal the Secure stacks - #52

Merged

mattia-moffa merged 7 commits into

wolfSSL:mainfrom

aidangarske:ffm-l3-stack-seal

Oct 1, 2026

Commits on Oct 1, 2026

Add Armv8-M FP-control and stack-seal register definitions
aidangarske
committed
b57f188
Disable and assert the Secure floating-point-off policy at boot
aidangarske
committed
03377d4
Seal the Secure stack tops and check the seals at every coroutine switch
aidangarske
committed
7201d95
Reject floating-point code in the linked Secure image
aidangarske
committed
a01a295
Fail the Secure link when an allocated section reaches the main-stack seal
aidangarske
committed
8ee7a3b
Add the FP-isolation and stack-seal negative scenarios
aidangarske
committed
a159f05
Document the Secure FP policy, stack-seal check, and scenario scope
aidangarske
committed
6f4f649