OS platform libraries for Mirage (UNIX and Xen)