Tock Tutorial 2023#20

Merged

bradjc merged 51 commits intomasterfrom

tock-tutorial-2023

Jul 26, 2023

Commits on Jul 25, 2023

start course module on tock kernel policies

bradjc
authored and
lschuermann
committed
policies: add instructions to create policy

bradjc
authored and
lschuermann
committed
update boot, separate capsule

bradjc
authored and
lschuermann
committed
policies: add app signing

bradjc
authored and
lschuermann
committed
start on tickv doc

bradjc
authored and
lschuermann
committed
fill in tickv page

bradjc
authored and
lschuermann
committed
complete policies guide

bradjc
authored and
lschuermann
committed
clarify older modules

bradjc
authored and
lschuermann
committed
add security key start

bradjc
authored and
lschuermann
committed
add security key to index

bradjc
authored and
lschuermann
committed
format

bradjc
authored and
lschuermann
committed
add module on kernel access control and signing

bradjc
authored and
lschuermann
committed
Test-commit for Netlify deploy
lschuermann
committed
Makefile: update mdBook, mdBook-linkcheck and prettier
lschuermann
committed
make pretty
lschuermann
committed
Update course_setup.md for nRF52840DK and module-based course
lschuermann
committed
Add Packer-build development VM image template
lschuermann
committed
Structure for tutorial

brghena
authored and
lschuermann
committed
Add work-in-progress encryption oracle capsule section
lschuermann
committed
make pretty
lschuermann
committed
A little cleanup

brghena
authored and
lschuermann
committed
HOTP Application writeup

brghena
authored and
lschuermann
committed
Update key-hotp-oracle, write "adding a capsule to the kernel" section
lschuermann
committed
make pretty
lschuermann
committed
Update encryption oracle to include AES in kernel instantiation
lschuermann
committed
Clarify grant struct name & member variable
lschuermann
committed
Add section on driver virtualization
lschuermann
committed
sec/key-hotp-oracle: fix encryption_oracle module path
lschuermann
committed
src/key-hotp-oracle: add TODO for `next_pending` method
lschuermann
committed
Add HOTP encryption oracle checkpoints 4+5 code snippets & figure
lschuermann
committed
src/key-hotp-oracle: fix figure URL
lschuermann
committed
Setup text

brghena
authored and
lschuermann
committed
src/key-hotp-oracle: add section on HILs
lschuermann
committed
make pretty
lschuermann
committed
src/key-hotp-oracle: add missing link
lschuermann
committed
src/key-hotp-oracle: add ProcessBuffer and Upcall section
lschuermann
committed
src/key-hotp-oracle: adjust `run_next_pending` doc & call in command()
lschuermann
committed
src/key-hotp-oracle: add `capsules/tutorials/src/lib.rs` diff
lschuermann
committed
Pass on Access Control stuff

brghena
authored and
lschuermann
committed
Resolve setup todo

brghena
authored and
lschuermann
committed
src/key-hotp-oracle.md: apply suggestions from @alexandruradovici's review

lschuermann
and
alexandruradovici
committed
src/key-hotp-oracle.md: add missing closing angle bracket

lschuermann
and
alexandruradovici
committed
key-access: small note about activating pconsole

bradjc
authored and
lschuermann
committed
overview rundown

bradjc
authored and
lschuermann
committed
src/key-hotp-oracle: capsules/tutorials -> capsules/extra/src/tutorials
lschuermann
committed
src/key-hotp-oracle: update with_driver diff to match demo board
lschuermann
committed
src/key-hotp-oracle: incorporate @alexandruradovici's feedback
lschuermann
committed
make pretty
lschuermann
committed
src/key-hotp-oracle: add DRIVER_NUM
lschuermann
committed
src/key-overview: fix links
lschuermann
committed
src/key-hotp-oracle: add short section on integration with libtock-c
lschuermann
committed