Pat Pannuto
Pat Pannuto
The inspiration for this in my mind is Windows' [Static Driver Verifier](https://learn.microsoft.com/en-us/windows-hardware/drivers/devtest/static-driver-verifier), which probably does more now, but circa 2008 at least it knew the state machine required for correct...
This came up in #1648: https://github.com/tock/tock/pull/1648#discussion_r402822448 Basically, this is working out fine right now because all the MPU region allocators do allocate regions larger than the pointer size (which is...
Following up from this [brief slack discussion](https://prairielearn.slack.com/archives/C266KEH9A/p1700155897527049). It would be really valuable to have an option that hard-failed variants with `mustache` errors. Most specifically to the immediate need, if `mustache`...
This is the companion PR for https://github.com/tock/tock/pull/3577. I just did console to start. The only thing using the `{put|get}nstr_async` methods were the test programs testing the async. Everything else used...
Posting for later investigation, but a device printing like this: ``` printf("\r"); for (j=0; j
This is the official PPA for the arm compiler, supported and maintained by ARM. There are 3 old issues requesting cross-compiler PPAs, but they all point to older/non-official PPAs and...
There's always a few folks who somehow miss the bit in HW2 and end up in trouble when the git II usage homework rolls around. The homework should be changed...
After the big rebase for #380, a few changes were lost. Per @tyler-potyondy's request, leaving as an issue here for him to address post-tutorial; these should not affect fundamental operation....