• Set up ARM DS-5 for UEFI development