diff --git a/docs/kernels.md b/docs/kernels.md index e58675076..786755e73 100644 --- a/docs/kernels.md +++ b/docs/kernels.md @@ -16,7 +16,7 @@ image is tagged with the full kernel version (e.g., hash of the files it was created from (git tree hash of the `./kernel` directory). For selected kernels (mostly the LTS kernels and latest stable kernels) we also compile/push kernels with additional debugging -enabled. The hub images for these kernels have the `_dbg` suffix in +enabled. The hub images for these kernels have the `-dbg` suffix in the tag. For some kernels, we also provide matching packages containing the `perf` utility for debugging and performance tracing. The perf package is called `kernel-perf` and is tagged the same way as diff --git a/kernel/Makefile b/kernel/Makefile index fdaabde41..21d7e70d4 100644 --- a/kernel/Makefile +++ b/kernel/Makefile @@ -77,8 +77,8 @@ sources: # This defines targets like: # build_4.9.x and push_4.9.x and adds them as dependencies # to the global targets -# Set $3 to "_dbg", to build debug kernels. This defines targets like -# build_4.9.x_dbg and adds "_dbg" to the hub image name. +# Set $3 to "-dbg", to build debug kernels. This defines targets like +# build_4.9.x-dbg and adds "-dbg" to the hub image name. define kernel ifeq ($(3),) @@ -140,9 +140,9 @@ endef # Debug targets only for latest stable and LTS stable # $(eval $(call kernel,4.12.8,4.12.x)) -$(eval $(call kernel,4.12.8,4.12.x,_dbg)) +$(eval $(call kernel,4.12.8,4.12.x,-dbg)) $(eval $(call kernel,4.9.44,4.9.x)) -$(eval $(call kernel,4.9.44,4.9.x,_dbg)) +$(eval $(call kernel,4.9.44,4.9.x,-dbg)) $(eval $(call kernel,4.4.83,4.4.x)) # Target for kernel config