diff --git a/test-kernel/genimage-sdcard.cfg b/test-kernel/genimage-sdcard.cfg
index 83d774f..6f70ce9 100644
--- a/test-kernel/genimage-sdcard.cfg
+++ b/test-kernel/genimage-sdcard.cfg
@@ -3,7 +3,7 @@ image bootfs.vfat {
 		files = {
 			"rustsbi-k510-burn.bin",
 			"k510.dtb",
-			"kernel.bin",
+			"kernel.image",
 		}
 	}
 	size = 30M
diff --git a/xtask/src/main.rs b/xtask/src/main.rs
index 37e040a..2dc3cbb 100644
--- a/xtask/src/main.rs
+++ b/xtask/src/main.rs
@@ -231,7 +231,7 @@ impl TestSDCardImageArgs {
         ).unwrap();
         fs::copy(
             self.build.dir().join("test-kernel.bin"),
-            &input_dir.join("kernel.bin")
+            &input_dir.join("kernel.image")
         ).unwrap();
         fs::copy(
             PROJECT_DIR.join("rustsbi-k510/src/k510_crb_lp3_v1_2.dtb"),