diff options
-rw-r--r-- | Makefile | 7 | ||||
-rw-r--r-- | config-default.mk | 4 |
2 files changed, 11 insertions, 0 deletions
@@ -33,8 +33,13 @@ all: $(IMAGE) $(SEMIIMG) clean: rm -f $(IMAGE) boot.o model.lds monitor.o uImage +ifeq ($(USE_PREBUILT_KERNEL),no) $(KERNEL): $(KERNEL_SRC)/arch/arm/boot/uImage cp $< $@ +else +$(KERNEL): + +endif $(IMAGE): boot.o monitor.o model.lds $(KERNEL) $(FILESYSTEM) Makefile $(LD) -o $@ --script=model.lds @@ -57,6 +62,7 @@ model.lds: $(LD_SCRIPT) Makefile modelsemi.lds: $(LD_SCRIPT) Makefile $(CC) $(CPPFLAGS) -DSEMIHOSTING=1 -E -P -C -o $@ $< +ifeq ($(USE_PREBUILT_KERNEL),no) $(KERNEL_SRC)/arch/arm/boot/uImage: force $(MAKE) -C $(KERNEL_SRC) -j4 uImage @@ -64,6 +70,7 @@ $(KERNEL_SRC)/arch/arm/boot/uImage: force # This is a convenience rule so we can say 'make menuconfig' etc here. %: force $(MAKE) -C $(KERNEL_SRC) $@ +endif force: ; diff --git a/config-default.mk b/config-default.mk index 6c73934..aa33f7b 100644 --- a/config-default.mk +++ b/config-default.mk @@ -25,6 +25,10 @@ KERNEL_SRC ?= ../linux-kvm-arm SYSTEM ?= vexpress ########################################################################### +# Turn this on to use a prebuilt kernel image +USE_PREBUILT_KERNEL ?= no + +########################################################################### # Turn this on to use an initrd whose contents are in filesystem.cpio.gz USE_INITRD ?= no ifeq ($(USE_INITRD),yes) |