This repository has been archived by the owner on Oct 18, 2020. It is now read-only.
Xen fixes and cleanups
- Set
Sys.os_type
to Unix in the Xen backend to help compatibility (#78). - Suppress another dietlibc linker warning for vprintf in Xen.