* kernel/Kernel.tex.nw: before tos lp-ize
* include/tos.h: new