#if defined(__SCO_VERSION__)
fprintf (f, "CFLAGS=-O -D_KERNEL -D_DDI=8\n");
#else
fprintf (f, "CFLAGS += -D_KERNEL\n");
fprintf (f, "CFLAGS += -nopie -D_KERNEL\n");
#endif
#ifdef HAVE_KERNEL_FLAGS
add_kernel_flags (f);