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