Public documentation for the Xinu-OS