← Back to context Comment by jimbomins 1 year ago frama-c 1 comment jimbomins Reply junon 1 year ago Which is terrible for kernel development, and is generally very hard to work with, unfortunately.
junon 1 year 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.