diff --git a/scripts/kernel_update.sh b/scripts/kernel_update.sh index 30e754e00c1f5b2eb850fb09090d98d23d126b1b..7f6ad742d734637f4822be898ceb41ee07212f0f 100755 --- a/scripts/kernel_update.sh +++ b/scripts/kernel_update.sh @@ -40,8 +40,9 @@ if [ -f configs/kernel.data ] ; then git_msg="4.4.x-xenomai" var="ti-xenomai" ; ver="LTS44" ; current_kernel - git_msg="4.9.x-xM" - var="armv7" ; ver="LTS49" ; current_kernel + git_msg="4.11.x-xM" +# var="armv7" ; ver="LTS49" ; current_kernel + var="armv7" ; ver="STABLE" ; current_kernel git_msg="4.9.x" filter="xenomai"