#include <flash.h>
#include <image.h>
-/* Bring in printf format macros if inttypes.h is included */
-#define __STDC_FORMAT_MACROS
-
#ifdef __LP64__
#define CONFIG_SYS_SUPPORT_64BIT_DATA
#endif
void serial_puts (const char *);
int serial_getc (void);
int serial_tstc (void);
+int serial_setconfig(uint config);
/* $(CPU)/speed.c */
int get_clocks (void);