3 ms·Refactoring the FreeBSD Kernel with Checked C [pdf]8 points by matt_d 6y agorurban 6y agoI didn't find any url to the code and build system changes.