l4: Add a variable BOOTSTRAP_PKG which allows to choose bootstrap pakage for image.

diff --git a/l4/Makefile b/l4/Makefile
index f42ff3afecd9d06e9c16201c8dc20e17f8cd003c..8a37e06c77bdf46fb1b2301e301f1289cf8d0af3 100644 (file)
--- a/l4/Makefile
+++ b/l4/Makefile
@@ -19,6 +19,10 @@ CMDS_NO_PROJECT_MK  := $(CMDS_WITHOUT_OBJDIR) \
 # our default target is all::
 all::
 
+#####################
+#choose bootstrap (JH modification)
+
+BOOTSTRAP_PKG ?= bootstrap
 #####################
 # config-tool
 
@@ -441,8 +445,8 @@ endef
 define genimage
        +$(VERBOSE)$(entryselection);                                     \
        $(MKDIR) $(IMAGES_DIR);                                           \
-       PWD=$(PWD)/pkg/bootstrap_custom/server/src $(common_envvars)             \
-           $(MAKE) -C pkg/bootstrap_custom/server/src ENTRY="$$e"               \
+       PWD=$(PWD)/pkg/$(BOOTSTRAP_PKG)/server/src $(common_envvars)             \
+           $(MAKE) -C pkg/$(BOOTSTRAP_PKG)/server/src ENTRY="$$e"               \
                    BOOTSTRAP_MODULES_LIST=$$ml $(1)                      \
                    BOOTSTRAP_MODULE_PATH_BINLIB="$(BUILDDIR_SEARCHPATH)" \
                    BOOTSTRAP_SEARCH_PATH="$(MODULE_SEARCH_PATH)"