Introduction
Getting Started
1.
Tock Course
1.1.
USB Security Key
1.1.1.
Kernel: USB Keyboard
1.1.2.
Kernel: HMAC
1.1.3.
Kernel: Key-Value
1.1.4.
HOTP Application
1.1.5.
Encryption Oracle Capsule
1.1.6.
Access Control
1.1.7.
Security Key Demo
1.2.
Kernel Boot
1.3.
Policies
1.4.
TicKV
1.5.
Application
1.6.
Graduation
1.7.
Deprecated
1.7.1.
Important Client
1.7.2.
Capsule
2.
Mini Tutorials
2.1.
Blink an LED
2.2.
Button to Printf()
2.3.
BLE Advertisement Scanning
2.4.
Sample Sensors and Use Drivers
2.5.
Inter-process Communication
3.
Kernel Development Guides
3.1.
Chip Peripheral Driver
3.2.
Sensor Driver
3.3.
System Call Interface
3.4.
HIL
3.5.
Virtualizers
3.6.
Kernel Tests
3.7.
Component
3.8.
Optimize Code Size
3.9.
Porting Tock
3.10.
Porting From 1.x to 2.x
3.11.
VSCode Debugging
4.
Kernel Documentation
4.1.
Overview
4.2.
Design
4.3.
Soundness
4.4.
Lifetimes
4.5.
Threat Model
4.5.1.
Capsule Isolation
4.5.2.
Virtualization
4.5.3.
Application Loader
4.5.4.
TBF Headers
4.5.5.
Code Review
4.6.
Implementation
4.6.1.
Compilation
4.6.2.
Kernel Configuration
4.6.3.
Kernel Attributes
4.6.4.
Memory Layout
4.6.5.
Mutable References
4.6.6.
Processes
4.6.7.
Startup
4.6.8.
Syscalls
4.6.9.
Tock Binary Format
4.7.
Module Documentation
4.7.1.
Process Console
4.7.2.
Networking Stack
4.7.3.
Bluetooth Low Energy (BLE)
5.
Tock Reference Documents
5.1.
TRD1: TRDs
5.2.
TRD3: HIL Design
5.3.
TRD4: Legal
5.4.
TRD102: ADC
5.5.
TRD103: GPIO
5.6.
TRD104: Syscalls
5.7.
TRD105: Time
5.8.
TRD106: Completion Codes
5.9.
Drafts
5.9.1.
TRD AppID
5.9.2.
TRD Digest
5.9.3.
TRD Public/Private Keys
5.9.4.
TRD Radio
5.9.5.
TRD SPI
5.9.6.
TRD UART
5.9.7.
TRD Userspace Read Allow
Light
Rust
Coal
Navy
Ayu
The Tock Book
Using the HOTP USB Security Key
With our fully functional USB security key, we can now put it to use.