Use (uint8_t *) for buf_(set|get)_u(32|64) instead of (void *)

[openocd.git] / tcl / board / atmel_sam4e_ek.cfg

# This is an SAM4E-EK board with a single SAM4E16 chip.
# http://www.atmel.com/tools/sam4e-ek.aspx

# chip name
set CHIPNAME SAM4E16E

source [find target/at91sam4sXX.cfg]