// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0 OR ISC
// Fri May  8 22:13:15 UTC 2026

pub(super) const CRYPTO_LIBRARY: &[&str] = &[
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/intt.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/mulcache_compute.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/ntt.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/nttfrombytes.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/ntttobytes.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/nttunpack.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_asm_k2.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_asm_k3.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_asm_k4.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_compress_d10.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_compress_d11.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_compress_d4.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_compress_d5.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_decompress_d10.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_decompress_d11.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_decompress_d4.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/poly_decompress_d5.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/reduce.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/rej_uniform_asm.S",
    "crypto/fipsmodule/ml_kem/mlkem/native/x86_64/src/tomont.S",
    "generated-src/linux-x86_64/crypto/chacha/chacha-x86_64.S",
    "generated-src/linux-x86_64/crypto/cipher_extra/aes128gcmsiv-x86_64.S",
    "generated-src/linux-x86_64/crypto/cipher_extra/aesni-sha1-x86_64.S",
    "generated-src/linux-x86_64/crypto/cipher_extra/aesni-sha256-x86_64.S",
    "generated-src/linux-x86_64/crypto/cipher_extra/chacha20_poly1305_x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/aesni-gcm-avx512.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/aesni-gcm-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/aesni-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/aesni-xts-avx512.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/ghash-ssse3-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/ghash-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/md5-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/p256-x86_64-asm.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/p256_beeu-x86_64-asm.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/rdrand-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/rsaz-2k-avx512.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/rsaz-3k-avx512.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/rsaz-4k-avx512.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/rsaz-avx2.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/sha1-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/sha256-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/sha512-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/vpaes-x86_64.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/x86_64-mont.S",
    "generated-src/linux-x86_64/crypto/fipsmodule/x86_64-mont5.S",
    "generated-src/linux-x86_64/crypto/test/trampoline-x86_64.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/bignum_madd_n25519.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/bignum_madd_n25519_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/bignum_mod_n25519.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/bignum_neg_p25519.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/curve25519_x25519.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/curve25519_x25519base.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/curve25519_x25519base_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/curve25519_x25519_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_decode.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_decode_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_encode.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_scalarmulbase.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_scalarmulbase_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_scalarmuldouble.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/curve25519/edwards25519_scalarmuldouble_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/mldsa/mldsa_intt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/mldsa/mldsa_ntt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/mldsa/mldsa_reduce.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p256/bignum_montinv_p256.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p256/p256_montjscalarmul.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p256/p256_montjscalarmul_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_add_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_deamont_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_deamont_p384_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_littleendian_6.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_montinv_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_montmul_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_montmul_p384_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_montsqr_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_montsqr_p384_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_neg_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_nonzero_6.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_sub_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_tomont_p384.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/bignum_tomont_p384_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/p384_montjdouble.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/p384_montjdouble_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/p384_montjscalarmul.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p384/p384_montjscalarmul_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_add_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_fromlebytes_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_inv_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_mul_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_mul_p521_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_neg_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_sqr_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_sqr_p521_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_sub_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/bignum_tolebytes_p521.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/p521_jdouble.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/p521_jdouble_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/p521_jscalarmul.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/p521/p521_jscalarmul_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/sha3/sha3_keccak4_f1600.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/sha3/sha3_keccak4_f1600_alt.S",
    "third_party/s2n-bignum/s2n-bignum-imported/x86_att/sha3/sha3_keccak_f1600.S",
];
