Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
2126: Earlgrey: dont call debug in interrupt top half r=bradjc a=hudson-ayers ### Pull Request Overview This pull request replaces calls to `debug!()` in the top half interrupt handler for the `earlgrey` chip with `panic!()`. If these calls executed it could cause UB, as the Tock kernel assumes that kernel code is not reentrant, and `debug!()` calls UART code. I came across this while symbolically executing interrupt handlers in Tock. ### Testing Strategy N/A ### TODO or Help Wanted How bad is the possibility of a reentrant panic that this in theory could introduce? ### Documentation Updated - [x] No updates are required. ### Formatting - [x] Ran `make prepush`. Co-authored-by: Hudson Ayers <hayers@stanford.edu>
- Loading branch information