some Xinu headers, mostly so that the Xinu code can compile