From 4f307f96fb6ab3287462662cf7ac204ddd311cdf Mon Sep 17 00:00:00 2001
From: Ivan Velickovic <i.velickovic@unsw.edu.au>
Date: Wed, 18 Oct 2023 12:08:17 +1100
Subject: [PATCH] Name the Raspberry Pi 4B consistently

Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
---
 Hardware/Rpi4.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Hardware/Rpi4.md b/Hardware/Rpi4.md
index f4cb386ebc..b7226f73ab 100644
--- a/Hardware/Rpi4.md
+++ b/Hardware/Rpi4.md
@@ -2,7 +2,7 @@
 arm_hardware: true
 cmake_plat: rpi4
 xcompiler_arg: -DAARCH64=1
-platform: Raspberry Pi 4-b
+platform: Raspberry Pi 4B
 arch: ARMv8A
 virtualization: ARM HYP
 iommu: "No"
@@ -15,7 +15,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---
 
-# Raspberry PI 4 Model B
+# Raspberry Pi 4 Model B
 
 ## Serial connection
 Serial TX and RX are located at GPIO pins 14 and 15 respectively