Re: [PATCH] Use uint32_t instead of unsigned32_t.

[Samuel Thibault]

Samuel Thibault, on Tue 22 Mar 2016 23:32:40 +0100, wrote:
> 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

ping?

Samuel