minimal-bootstrap.stage0-posix: highlight hex0-seed

  version = "unstable-2023-04-24";

  rev = "bdd3ee779adb9f4a299059d09e68dfedecfd4226";

  # This 256 byte seed is the only pre-compiled binary in the bootstrap chain.

  # While it is included in the stage0-posix source bundle and is synced with

  # stage0-posix updates, we have split it out into its own derivation to highlight

  # its unique status as a trusted binary seed.

  hex0-seed = import <nix/fetchurl.nix> {

    name = "hex0-seed-${version}";

    url = "https://github.com/oriansj/bootstrap-seeds/raw/b1263ff14a17835f4d12539226208c426ced4fba/POSIX/x86/hex0-seed";

    hash = "sha256-QU3RPGy51W7M2xnfFY1IqruKzusrSLU+L190ztN6JW8=";

    executable = true;

  };

  # Packaged resources required for the first bootstrapping stage.

  # Contains source code and 256-byte hex0 binary seed.

  #

{ lib

, derivationWithMeta

, hex0-seed

, src

, version

}:

derivationWithMeta {

  inherit version;

  pname = "hex0";

  builder = "${src}/bootstrap-seeds/POSIX/x86/hex0-seed";

  builder = hex0-seed;

  args = [

    "${src}/bootstrap-seeds/POSIX/x86/hex0_x86.hex0"

    (placeholder "out")