tree a93ffe057cd32d5be4aaaa0a551d08272e430781
parent eb9929e6e1348d2abd2ab5338da339410cda376d
author Gilles Peskine <Gilles.Peskine@arm.com> 1585083941 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586183325 +0200

Sort the list for easier maintenance

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>