From ab4df7f8ae435b7a463fb6a1f19f39f6289ea1cc Mon Sep 17 00:00:00 2001
From: Florent Kermarrec <florent@enjoy-digital.fr>
Date: Tue, 9 Jul 2024 16:58:50 +0200
Subject: [PATCH] images/boot.json: Cleanup indent.

---
 images/boot.json | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/images/boot.json b/images/boot.json
index b3266dff..bd5e300b 100644
--- a/images/boot.json
+++ b/images/boot.json
@@ -1,6 +1,6 @@
 {
-	"Image":       "0x40000000",
-	"rv32.dtb":    "0x40ef0000",
-	"rootfs.cpio": "0x41000000",
-	"opensbi.bin": "0x40f00000"
+	"Image"       : "0x40000000",
+	"rv32.dtb"    : "0x40ef0000",
+	"rootfs.cpio" : "0x41000000",
+	"opensbi.bin" : "0x40f00000"
 }