Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up-
University of California, San Diego
- San Diego, CA
- Sign in to view email
- https://patpannuto.com
Pinned
652 contributions in the last year
Activity overview
Contribution activity
May 2020
- Allow/subscribe null pointer doc clarifications
- Reorg stm32f3xx crates and CI: enforce no-warnings on test builds
- Run Clippy in CI
- Remove &dyn references from GPIO-related HILs and capsules.
- Fix Tock register interface to allow large unsigned values as bitmasks
- Remaining clippy allows/fixes
- Run CI on Github Actions
- kernel: configure MPU only if switching to a different process
- Fix typos in CodeReview.md
- Fix typos in CONTRIBUTING.md
- Updated SPI hold_low and release_low for STM
- RISC-V: Add automated QEMU testing
- refactor stmf32f4xx chip code into multiple crates
- Core working group notes from May 01
- kernel: Check for interrupts and deferred calls
Created an issue in tock/tock that received 2 comments
[RFC] `map_must` and other internal consistency support
This came up recently in #1826, but variations have come up before (i.e. in the rf233 driver if memory serves) of "what do we do when fairly fundam…
2
comments