This target supports Arm SystemReady (EFI) compatible machines
include 'armsr.inc' device('armsr-armv7', 'generic')