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

ninehusky wants to merge 14 commits into

PLSysSec:fluxopt-testPLSysSec/tock:fluxopt-testfrom

ninehusky:ninehusky-add-tock-extern-specsninehusky/tock:ninehusky-add-tock-extern-specsCopy head branch name to clipboard