Hacker News new | ask | show | jobs
by jimbomins 607 days ago
frama-c
1 comments

Which is terrible for kernel development, and is generally very hard to work with, unfortunately.