mirror of
https://github.com/linuxkit/linuxkit.git
synced 2025-10-12 02:42:42 +00:00
In order to cut the number of kernels we build, remove the debug kernel for the now non-default 4.9.x series. Also remove the -rt debug kernel. Users who need it can build it themselves with 'make EXTRA=-rt DEBUG=-dbg build_4.14.x' Signed-off-by: Rolf Neugebauer <rolf.neugebauer@docker.com>
See ../docs/kernels.md for more information on kernel builds.