#ifndef CORE_OPTIGA_HAL_H
#define CORE_OPTIGA_HAL_H

#include <stdint.h>
#include "secbool.h"

void optiga_hal_init(void);

void optiga_reset(void);

#endif  // CORE_OPTIGA_HAL_H