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
