TG Telegram Group & Channel
NetBSD | United States America (US)
Create: Update:

Finding NetBSD Kernel Bugs through LockDoc.

This post will be my attempt to package up my master’s thesis in a format that can be read comfortably. I’ve spent the last 15 months mostly on this topic, and if you’ve noticed that some of my past posts mostly revolved around NetBSD, this is why. I hope this also gives me the opportunity to shine a light on some implementation details, since the thesis itself had to be mostly focused on the academic stuff...

https://scholz.ruhr/blog/finding-netbsd-locking-bugs/

#kernel #system

Finding NetBSD Kernel Bugs through LockDoc.

This post will be my attempt to package up my master’s thesis in a format that can be read comfortably. I’ve spent the last 15 months mostly on this topic, and if you’ve noticed that some of my past posts mostly revolved around NetBSD, this is why. I hope this also gives me the opportunity to shine a light on some implementation details, since the thesis itself had to be mostly focused on the academic stuff...

https://scholz.ruhr/blog/finding-netbsd-locking-bugs/

#kernel #system


>>Click here to continue<<

NetBSD




Share with your best friend
VIEW MORE

United States America Popular Telegram Group (US)