tree 387f2f918d58b009ed28640330a0ad1e0f87a540
parent 1341e214622f0dc4fccb338b1dbb115b58063d30
author Gilles Peskine <Gilles.Peskine@arm.com> 1649883910 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649937297 +0200

Document the section "General configuration options"

Replace the copypasta that was there.

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