adjust kernig

00d55ad2d

2 file(s) changed