# Standard ktype for Raspberry Pi 3 (64 bit) # define KMACHINE raspberrypi3-64 define KARCH aarch64 define KTYPE standard kconf hardware raspberrypi3-64-standard.cfg