Add extern specs to Tock to make 6 drivers panic free - #52

Draft

ninehusky wants to merge 14 commits into

PLSysSec:fluxopt-testfrom

ninehusky:ninehusky-add-tock-extern-specs

Commits on Nov 18, 2025

Add extern specs
ninehusky
committed
d12da27
Turn on no_panic at module level
ninehusky
committed
1c5933c

Commits on Nov 19, 2025

Some low hanging fruit
ninehusky
committed
2110fae

Commits on Nov 20, 2025

More extern specs
ninehusky
committed
4760f90
Extern spec for min
ninehusky
committed
deb8ddb

Commits on Nov 21, 2025

Commits on Dec 1, 2025

Stomped everything in the kernel
ninehusky
committed
be0ac5c
Squash option, result
ninehusky
committed
5ceab21
Add extern specifications for From trait and enhance Iterator trait methods
ninehusky
committed
3cdbe55
The last of it
ninehusky
committed
a7f83d6
Last extern specs
ninehusky
committed
d4e3f92