#include <zephyr/devicetree.h>

/* 2 chars per byte (hex), 1 char per ':' delimiter and one char for \0 */
#define UID64_STR_LEN (8*2 + 7*1 + 1)

uint64_t eui64_get(void);
void eui64_to_string(uint64_t, char *str);
bool eui64_available(void);