Switch 22nd to Tock retro

Author: vrindisbacher

index.html

@@ -74,9 +74,9 @@
   - *Reading*:
     - [Atmosphere: Practical Verified Kernels with Rust and Verus](https://dl.acm.org/doi/10.1145/3731569.3764821) by Xiangdong Chen, et al.
 
-Wed Oct 22 2025: Virtual Machines
+Wed Oct 22 2025: Tock, continued...
   - *Reading*:
-    - [Securing a Multiprocessor KVM Hypervisor with Rust](https://dl.acm.org/doi/10.1145/3698038.3698562) by Yu-Hsun Chiang, et al.
+    - [Tock: From Research To Securing 10 Million Computers](https://dl.acm.org/doi/pdf/10.1145/3731569.3764828) by Yu-Hsun Chiang, et al.
 
 Mon Oct 27 2025: Virtual Machines
  - *Reading*: