#include "config.h"

#ifdef CONFIG_AXTLS_OS_PORT_H
#include CONFIG_AXTLS_OS_PORT_H
#else
#include "axtls_os_port.h"
#endif