Skip to content

UserSafe is proved by the compiler: user_safe! declares a struct, its impl and its no-padding assertion, and usersafe::bytes is the one view of its bytes - #747

Merged
Japabu merged 5 commits into
mainfrom
wt/toyos-usersafe
Oct 7, 2026
Merged

UserSafe is proved by the compiler: user_safe! declares a struct, its impl and its no-padding assertion, and usersafe::bytes is the one view of its bytes#747
Japabu merged 5 commits into
mainfrom
wt/toyos-usersafe

The filed byte views: DeviceIrqRecord has an assertion, and all three…

196ec3b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar