← Back to context Comment by jimbomins 2 years ago frama-c 1 comment jimbomins Reply junon 2 years ago Which is terrible for kernel development, and is generally very hard to work with, unfortunately.
junon 2 years ago Which is terrible for kernel development, and is generally very hard to work with, unfortunately.
Which is terrible for kernel development, and is generally very hard to work with, unfortunately.