backported fixes from 256boss:
[bootcensus] / .gitignore
2018-04-25 John Tsiombikasmain kernel startup, libc, console tty, asmops, build...
2018-04-07 John Tsiombikasinitial commit