Quoting Flavio Cruz (2016-03-20 22:01:10) > * Makefile.am: Use -ffreestanding and remove -nostdinc since we are including > stdint.h. > * i386/i386/xen.h: Use uint64_t. > * i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t. > * i386/include/mach/i386/vm_types.h: Remove definitions of int*, uint*, > unsigned* and signed* types.
This broke the xen port. Justus
