*/
#include "kdebug_at91.h"
-#include <cfg/macros.h> /* for BV(), DIV_ROUND */
-#include <appconfig.h>
#include <hw_cpu.h> /* for CLOCK_FREQ */
#include <hw_ser.h> /* Required for bus macros overrides */
+#include <appconfig.h>
+#include <cfg/macros.h> /* for BV(), DIV_ROUND */
+
#include <io/arm.h>
#if CONFIG_KDEBUG_PORT == KDEBUG_PORT_DBGU