tree ff5a75ef20f5709a2f95d0de963abb5df2c19e42
parent 8c2830a06a70c62b4e0dd4a4a029390623ceef8f
author Gilles Peskine <Gilles.Peskine@arm.com> 1659649181 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1677697820 +0100

Move non-boolean config options to the proper section

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