Searched refs:KERNELDIR (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A DMakefile65 KERNELDIR ?= /lib/modules/$(shell uname -r)/build macro
69 $(MAKE) CFLAGS="$(CFLAGS) $(EXTRA_CFLAGS)" -C $(KERNELDIR) M=$(PWD) modules
71 $(MAKE) -C $(KERNELDIR) M=$(PWD) clean
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/
H A DMakefile40 ifndef KERNELDIR
41 KERNELDIR:= /lib/modules/$(shell uname -r)/build macro
149 make -C $(KERNELDIR) CFLAGS="$(CFLAGS)" EXTRA_CFLAGS="-std=gnu99 $(EXTRA_CFLAGS)" M=$(PWD) modules
150 #$(Q) $(MAKE) OBJ="$(OBJ)" CFLAGS="$(CFLAGS)" EXTRA_CFLAGS="$(EXTRA_CFLAGS)" -C $(KERNELDIR) M=$(PWD) modules
158 $(Q) make -C $(KERNELDIR) M=$(PWD) clean
181 $(E) " Pass KERNELDIR=<path-to-kernel-headers> if you want to build against a different kernel version."
184 $(E) " make linux KERNELDIR=/usr/src/linux-headers-4.3.0-1-amd64/"
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/
H A DMakefile36 ifndef KERNELDIR
37 KERNELDIR:= /lib/modules/$(shell uname -r)/build macro
135 $(Q) $(MAKE) OBJ="$(OBJ)" CFLAGS="$(CFLAGS)" EXTRA_CFLAGS="$(EXTRA_CFLAGS)" -C $(KERNELDIR) M=$(PWD) modules
166 $(E) " Pass KERNELDIR=<path-to-kernel-headers> if you want to build against a different kernel version."
169 $(E) " make linux KERNELDIR=/usr/src/linux-headers-4.3.0-1-amd64/"
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/
H A DMakefile46 ifndef KERNELDIR
47 KERNELDIR:= /lib/modules/$(shell uname -r)/build macro
151 $(Q)$(MAKE) OBJ="$(OBJ)" CFLAGS="$(CFLAGS)" EXTRA_CFLAGS="-std=gnu99 $(EXTRA_CFLAGS)" -C $(KERNELDIR) M=$(PWD) modules
182 $(E) " Pass KERNELDIR=<path-to-kernel-headers> if you want to build against a different kernel version."
185 $(E) " make linux KERNELDIR=/usr/src/linux-headers-4.3.0-1-amd64/"
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/
H A DMakefile42 ifndef KERNELDIR
43 KERNELDIR:= /lib/modules/$(shell uname -r)/build macro
159 $(Q)$(MAKE) OBJ="$(OBJ)" CFLAGS="$(CFLAGS)" EXTRA_CFLAGS="-std=gnu99 $(EXTRA_CFLAGS)" -C $(KERNELDIR) M=$(PWD) modules
206 $(E) " Pass KERNELDIR=<path-to-kernel-headers> if you want to build against a different kernel version."
209 $(E) " make linux KERNELDIR=/usr/src/linux-headers-4.3.0-1-amd64/"
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/
H A DMakefile72 ifndef KERNELDIR
73 KERNELDIR:= /lib/modules/$(shell uname -r)/build macro
180 $(Q)$(MAKE) OBJ="$(OBJ)" CFLAGS="${CFLAGS}" EXTRA_CFLAGS="-std=gnu99 ${EXTRA_CFLAGS} ${CPPFLAGS}" -C $(KERNELDIR) M=$(PWD) modules
216 $(E) " Pass KERNELDIR=<path-to-kernel-headers> if you want to build against a different kernel version."
219 $(E) " make linux KERNELDIR=/usr/src/linux-headers-4.3.0-1-amd64/"

Completed in 40 milliseconds