diff --git a/platform/andes/ae350/platform.c b/platform/andes/ae350/platform.c
index db5b46ec..13c2b45e 100644
--- a/platform/andes/ae350/platform.c
+++ b/platform/andes/ae350/platform.c
@@ -10,14 +10,14 @@
 
 #include <sbi/riscv_asm.h>
 #include <sbi/riscv_encoding.h>
+#include <sbi/sbi_console.h>
 #include <sbi/sbi_const.h>
 #include <sbi/sbi_platform.h>
-#include <sbi/sbi_console.h>
-#include <sbi_utils/serial/uart8250.h>
 #include <sbi_utils/irqchip/plic.h>
+#include <sbi_utils/serial/uart8250.h>
 #include "platform.h"
-#include "plmt.h"
 #include "plicsw.h"
+#include "plmt.h"
 
 /* Platform final initialization. */
 static int ae350_final_init(bool cold_boot)
diff --git a/platform/ariane-fpga/platform.c b/platform/ariane-fpga/platform.c
index d2b6de97..84ffec6f 100644
--- a/platform/ariane-fpga/platform.c
+++ b/platform/ariane-fpga/platform.c
@@ -6,17 +6,14 @@
 
 #include <sbi/riscv_asm.h>
 #include <sbi/riscv_encoding.h>
+#include <sbi/riscv_io.h>
+#include <sbi/sbi_console.h>
 #include <sbi/sbi_const.h>
+#include <sbi/sbi_hart.h>
 #include <sbi/sbi_platform.h>
 #include <sbi_utils/irqchip/plic.h>
 #include <sbi_utils/serial/uart8250.h>
 #include <sbi_utils/sys/clint.h>
-#include <sbi/sbi_console.h>
-#include <sbi/sbi_hart.h>
-#include <libfdt.h>
-#include <fdt.h>
-#include <sbi_utils/irqchip/plic.h>
-#include <sbi/riscv_io.h>
 
 #define ARIANE_UART_ADDR			0x10000000
 #define ARIANE_UART_FREQ			50000000
diff --git a/platform/kendryte/k210/platform.c b/platform/kendryte/k210/platform.c
index 2044307c..16ee985d 100644
--- a/platform/kendryte/k210/platform.c
+++ b/platform/kendryte/k210/platform.c
@@ -9,12 +9,12 @@
 
 #include <sbi/riscv_asm.h>
 #include <sbi/riscv_encoding.h>
+#include <sbi/sbi_console.h>
 #include <sbi/sbi_const.h>
 #include <sbi/sbi_platform.h>
-#include <sbi/sbi_console.h>
 #include <sbi_utils/irqchip/plic.h>
-#include <sbi_utils/sys/clint.h>
 #include <sbi_utils/serial/sifive-uart.h>
+#include <sbi_utils/sys/clint.h>
 #include "platform.h"
 
 static u32 k210_get_clk_freq(void)
diff --git a/platform/sifive/fu540/platform.c b/platform/sifive/fu540/platform.c
index 1cc1f27f..2eb9fa18 100644
--- a/platform/sifive/fu540/platform.c
+++ b/platform/sifive/fu540/platform.c
@@ -8,12 +8,11 @@
  */
 
 #include <libfdt.h>
-#include <fdt.h>
 #include <sbi/riscv_asm.h>
 #include <sbi/riscv_io.h>
 #include <sbi/riscv_encoding.h>
-#include <sbi/sbi_const.h>
 #include <sbi/sbi_console.h>
+#include <sbi/sbi_const.h>
 #include <sbi/sbi_platform.h>
 #include <sbi_utils/irqchip/plic.h>
 #include <sbi_utils/serial/sifive-uart.h>
diff --git a/platform/spike/platform.c b/platform/spike/platform.c
index 25e5765a..0883ff63 100644
--- a/platform/spike/platform.c
+++ b/platform/spike/platform.c
@@ -5,8 +5,8 @@
  */
 
 #include <sbi/sbi_platform.h>
-#include <sbi_utils/sys/htif.h>
 #include <sbi_utils/sys/clint.h>
+#include <sbi_utils/sys/htif.h>
 
 /* clang-format off */
 
diff --git a/platform/thead/c910/platform.c b/platform/thead/c910/platform.c
index ca2e0e2b..9d98a312 100644
--- a/platform/thead/c910/platform.c
+++ b/platform/thead/c910/platform.c
@@ -4,13 +4,13 @@
 
 #include <sbi/riscv_encoding.h>
 #include <sbi/riscv_io.h>
+#include <sbi/sbi_console.h>
 #include <sbi/sbi_const.h>
 #include <sbi/sbi_hart.h>
 #include <sbi/sbi_platform.h>
-#include <sbi/sbi_console.h>
 #include <sbi_utils/irqchip/plic.h>
-#include <sbi_utils/sys/clint.h>
 #include <sbi_utils/serial/uart8250.h>
+#include <sbi_utils/sys/clint.h>
 #include "platform.h"
 
 static struct c910_regs_struct c910_regs;