TGViewer
OpenBSD OpenBSD @openbsd · 1.23K subscribers
Post #373 1.41K
Analyze OpenBSD’s Kernel with Domain-Specific Knowledge

In this article I want to show how we can analyze the OpenBSD kernel with domain-specific knowledge of spl(9) locking primitives, to find programming errors. This work was sponsored by Genua GmbH. Genua uses OpenBSD as a basis of many of their products. They allow developers to have a retreat twice a year for one week to hack on their own projects. This work is a result of it...

https://medium.com/@chrissicool/analyze-openbsds-kernel-with-domain-specific-knowledge-ca665d92eebb

#kernel
  • 👍 1
  • 🔥 1
Open in Telegram All posts from @openbsd
More from @openbsd
  1. Oct 22, 2025OpenBSD 7.8 released. #release
  2. Oct 22, 2025Channel photo updated
  3. Sep 14, 2025How to perform common FreeBSD tasks on OpenBSD. This post will serve as reminder for mysel…
  4. Sep 14, 2025Adventures in porting a Wayland Compositor to NetBSD and OpenBSD. #video #wayland
  5. Apr 28, 2025OpenBSD 7.7 released! #release
  6. Apr 28, 2025Channel photo updated
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →