kernel_armv7: Linux kernel for the 32-bit ARM/ARMv7 platform
kernel_armv7:
kernel_armv7: This is a generic Linux kernel for systems that are powered by an
kernel_armv7: ARM CPU that supports the ARMv7 or higher chip set.
kernel_armv7: 
kernel_armv7:
kernel_armv7: 
kernel_armv7: 
kernel_armv7:
kernel_armv7: Other drivers (such as additional file system support) may be
kernel_armv7: loaded as modules.  See /etc/rc.d/rc.modules for examples.