pkgs/os-specific/linux/kernel/randstruct-provide-seed.patch

   1 diff -ru a/scripts/gcc-plugins/gen-random-seed.sh b/scripts/gcc-plugins/gen-random-seed.sh
   2 --- a/scripts/gcc-plugins/gen-random-seed.sh    2019-01-11 11:50:29.228258920 +0100
   3 +++ b/scripts/gcc-plugins/gen-random-seed.sh    2019-01-11 12:18:33.555902720 +0100
   4 @@ -2,7 +2,7 @@
   5  # SPDX-License-Identifier: GPL-2.0
   6
   7  if [ ! -f "$1" ]; then
   8 -       SEED=`od -A n -t x8 -N 32 /dev/urandom | tr -d ' \n'`
   9 +       SEED="NIXOS_RANDSTRUCT_SEED"
  10         echo "const char *randstruct_seed = \"$SEED\";" > "$1"
  11         HASH=`echo -n "$SEED" | sha256sum | cut -d" " -f1 | tr -d ' \n'`
  12         echo "#define RANDSTRUCT_HASHED_SEED \"$HASH\"" > "$2"