Re: [PATCH] Use uint32_t instead of unsigned32_t.

[Samuel Thibault]

Flavio Cruz, on Sun 20 Mar 2016 22:01:10 +0100, wrote:
> I've tried to compile GNU Mach using stdint.h and
> -ffreestanding and so far so good, however I'm not sure if removing
> -nostdinc is a good idea since we may include some files from
> /usr/include that should not included (things like sys/types.h and
> sys/time.h which are implemented in gnumach/include).

Thinking again, perhaps we should just have our own posix-compliant
include/stdint.h (just like we have stddef.h and string.h), used for
kernel build, and installed headers can use the system's stdint.h

Samuel