search

tock / book

Tock Hands-on Guide
MIT License
10 stars 11 forks source link

Tock Tutorial 2023 #20

Closed lschuermann closed 1 year ago

lschuermann commented 1 year ago

USB Security Key writeup!

Relies on tock/libtock-c#335 and tock/tock#3562 for the application and kernel side of things.

For the access control stuff, it also relies on:

Outstanding TODOs

  1. Encryption Oracle Capsule. Need to figure out testing.
  2. Access Control. Need to figure out pconsole stuff