f56fd874f4
Mention how config checks are generated from historical information about config symbols
...
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
edebb385b1
We can now have generated checks on the finalized config as well
...
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
9510120ba9
Clarify that including *_after.h is not the normal behavior of build_info.h
...
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
a70a7c7507
Recall that config checks are an internal matter
...
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
927b641b7d
Fix formatting inside <code>
...
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
0b7f20705f
Note that changing a subproject option is bad
...
There was a section about this, but the idea was missing in the introductory
section.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
2cdc7b3fcb
Typos
...
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
8035d8e2da
Do include the generated checks in make generated_files
...
Now that they aren't public headers any longer, there's no reason to have a
different mechanism.
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
3c0d70037d
Initial specification document
...
Discuss why some configurations are undesirable. Document the current
`check_config.h`. Document new generated checks: why and how, but not the
details of what (RTFS).
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com >
2025-10-31 21:12:55 +01:00
Gilles Peskine