[Arm-dev] kernel tools on CentOS-Userland-7-armv7hl-generic-Minimal-419-v26-1810-sda

Fri Feb 1 14:42:55 UTC 2019
Robert Moskowitz <rgm at htt-consult.com>

I just did a build of a new drive for my Odroid HC1.  This includes 
doing a yum update.  I see:

  kernel-tools             armv7hl  4.14.91-201.el7 centos-kernel  149 k
  kernel-tools-libs        armv7hl  4.14.91-201.el7 centos-kernel   74 k


as part of the update.

Is it a problem for kernel tools to be at 4.14 when the kernel is a 4.19?