#
# Config options for config.flavour.ux500 automatically generated by splitconfig.pl
#