tree c05ef588f24d576fb06a929aad8247032a4ce4d1
parent 4c1d06e429f4bd4cacf3c1aeef039716dc41d954
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1563892276 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1563894130 +0200

Implement config-checking header to context s11n

Modelled after the config-checking header from session s11n.

The list of relevant config flags was established by manually checking the
fields serialized in the format, and which config.h flags they depend on.
This probably deserves double-checking by reviewers.