> > --- a/dat/include/dat2/dat_platform_specific.h > > +++ b/dat/include/dat2/dat_platform_specific.h > > @@ -147,6 +147,7 @@ typedef DAT_UINT64 DAT_PADDR; > > #if defined(__KERNEL__) > > #include <linux/types.h> > > #else > > +#include <stdio.h> > > You could use #include <stddef.h> if only NULL is needed > http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/stddef.h.html
There was an issue with Fedora where linux/stddef.h is empty. Looks like I need to clean this up and use <stddef.h> instead of <linux/stddef.h> for the non-kernel build. Thanks.