#ifndef MLK_CONFIG_H
#define MLK_CONFIG_H

#define MLK_CONFIG_PARAMETER_SET 768

#define MLK_CONFIG_NAMESPACE_PREFIX PQCP_MLKEM_NATIVE_MLKEM768

#if defined(MLK_BUILD_INTERNAL)

#define MLK_CONFIG_CUSTOM_RANDOMBYTES
#ifndef __ASSEMBLER__
#include "core/platform.h"
#include "src/sys.h"
#include <stddef.h>
#include <stdint.h>

static MLK_INLINE int
mlk_randombytes (uint8_t *ptr, size_t len)
{
  return circe_platform_random_bytes_callback (ptr, len);
}
#endif

#if defined(__aarch64__) || defined(__x86_64__)
#define MLK_CONFIG_USE_NATIVE_BACKEND_ARITH
#define MLK_CONFIG_ARITH_BACKEND_FILE "native/meta.h"
#define MLK_CONFIG_USE_NATIVE_BACKEND_FIPS202
#define MLK_CONFIG_FIPS202_BACKEND_FILE "fips202/native/auto.h"
#endif

#define MLK_CONFIG_CUSTOM_MEMCPY
#define MLK_CONFIG_CUSTOM_MEMSET
#define MLK_CONFIG_CUSTOM_ZEROIZE
#if !defined(__ASSEMBLER__)
#include "src/sys.h" /* for MLK_INLINE */
#include <stddef.h>
#include <stdint.h>

/* Defined in common/memory.c */
void *circe_memcpy (void *restrict dest, const void *restrict src, size_t n);
void *circe_memset (void *dest, int value, size_t count);

static MLK_INLINE void *
mlk_memcpy (void *dest, const void *src, size_t n)
{
  return circe_memcpy (dest, src, n);
}
static MLK_INLINE void *
mlk_memset (void *s, int c, size_t n)
{
  return circe_memset (s, c, n);
}
static MLK_INLINE void
mlk_zeroize (void *ptr, size_t len)
{
  circe_memset (ptr, 0, len);
}
#endif /* !__ASSEMBLER__ */

#endif /* MLK_BUILD_INTERNAL */

#endif /* MLK_CONFIG_H */