pico_get_unique_board_id_string() function
Get unique ID in string format Get the unique 64-bit device identifier which was retrieved from the external NOR flash device at boot, formatted as an ASCII hex string. Will always 0-terminate. On PICO_NO_FLASH builds the unique identifier is set to all 0xEE.
Arguments
id_out
a pointer to a char buffer of size len, to which the identifier will be written
len
the size of id_out. For full serial, len >= 2 * PICO_UNIQUE_BOARD_ID_SIZE_BYTES + 1