4 #include "host-utils.h"
6 #include "core-dc232b/core-isa.h"
7 #include "overlay_tool.h"
9 static const XtensaConfig dc232b = {
11 .options = XTENSA_OPTIONS,
16 #include "core-dc232b/gdb-config.c"
19 .nareg = XCHAL_NUM_AREGS,
24 .clock_freq_khz = 10000,