Internals to the XenSSD ultraminimalist operating system.