Justus Winter, on Mon 04 Apr 2016 20:27:08 +0200, wrote: > 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.
Indeed, thanks! Samuel
