While working on a reproducible build of xen in Debian I came up with
the following three patches which are needed to build xen reproducibly
in Debian. Reproducible builds are useful to verify the binary has
actually been built from the corresponding source.
The first patch is an extension of [1] which only omits the timestamp if
SOURCE_DATE_EPOCH is defined. Patch two fixes an ordering issue in the
generated documentation and the last patch uses the date from
SOURCE_DATE_EPOCH if available in the documentation.
[1] https://lists.xenproject.org/archives/html/xen-devel/2020-10/msg02161.html
Maximilian Engelhardt (3):
xen/arch/x86: don't insert timestamp when SOURCE_DATE_EPOCH is defined
docs: use predictable ordering in generated documentation
docs: set date to SOURCE_DATE_EPOCH if available
docs/Makefile | 8 +++++++-
docs/xen-headers | 2 +-
xen/arch/x86/Makefile | 6 ++++++
3 files changed, 14 insertions(+), 2 deletions(-)
--
2.20.1