Recent technical posts:

• 2026-02-08 »
  CList: Iterating C Linked Lists from Rust in the Kernel
• 2023-06-25 »
  SVM and vectors for the curious
• 2023-06-10 »
  SELinux Debugging on ChromeOS
• 2023-04-28 »
  Understanding Hazard Pointers
• 2023-04-25 »
  PowerPC stack guard false positives in Linux kernel
• 2023-02-24 »
  Getting YouCompleteMe working for kernel development
• 2023-01-29 »
  Figuring out herd7 memory models
• 2022-12-15 »
  Modeling Condition Variables using Formal Methods
• 2022-11-13 »
  On workings of hrtimer's slack time functionality
• 2020-10-25 »
  C++ rvalue references

Recent personal posts:

• 2026-02-08 »
  Test Post

All technical posts
All personal posts