Hi! On Sun, 20 Mar 2016 00:30:30 +0100, Samuel Thibault <samuel.thiba...@gnu.org> wrote: > Flávio Cruz, on Sat 19 Mar 2016 14:20:34 +0100, wrote: > > We already include mach/std_types.h in the stubs which provides uint32_t.
> Should gnumach perhaps just rely on stdint.h? Relying on existing, standard header files generally makes sense. As I understand it, <stdint.h> is part of the freestanding C implementation (see <https://gcc.gnu.org/PR448>, for example). (I'm aware that we currently don't built GNU Mach with -ffreestanding; but we should -- at least conceptually.) Grüße Thomas
signature.asc
Description: PGP signature