arch="armel"
supported="STE UX500"
desc="STE UX500-based systems"
target="Targeted towards boards such as TBD"
bootloader="flash-kernel"
provides=""
section_image="universe/base"
do_debug="Yes"