int86 seems to work
[bootcensus] / COPYING
2018-04-15 John Tsiombikasadded README and license