GitHub repository: vrindisbacher/tock-veri-asm-sb
Primary language: Rust
Description: A sandbox repo for reasoning about inline assembly in the Tock OS