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
