[PATCH 4/4] spec: Add Mini UART and PL011 drivers to build spec

[Utkarsh Verma]

This commit updates the build spec to include the new UART drivers for
PL011 and Mini UART.
---
 spec/build/bsps/aarch64/raspberrypi/bspraspberrypi4.yml | 1 -
 spec/build/bsps/obj.yml                                 | 7 ++++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/spec/build/bsps/aarch64/raspberrypi/bspraspberrypi4.yml b/spec/build/bsps/aarch64/raspberrypi/bspraspberrypi4.yml
index a579c094ba..3c58c48ba2 100644
--- a/spec/build/bsps/aarch64/raspberrypi/bspraspberrypi4.yml
+++ b/spec/build/bsps/aarch64/raspberrypi/bspraspberrypi4.yml
@@ -58,7 +58,6 @@ source:
 - bsps/shared/dev/irq/arm-gicv2-get-attributes.c
 - bsps/shared/dev/serial/console-termios-init.c
 - bsps/shared/dev/serial/console-termios.c
-- bsps/shared/dev/serial/arm-pl011.c
 - bsps/shared/dev/getentropy/getentropy-cpucounter.c
 - bsps/shared/dev/btimer/btimer-cpucounter.c
 - bsps/shared/irq/irq-default-handler.c
diff --git a/spec/build/bsps/obj.yml b/spec/build/bsps/obj.yml
index 6f76e9bb7c..7eab5c008b 100644
--- a/spec/build/bsps/obj.yml
+++ b/spec/build/bsps/obj.yml
@@ -55,8 +55,8 @@ install:
   - bsps/include/libchip/wd80x3.h
 - destination: ${BSP_INCLUDEDIR}/dev/serial
   source:
-  - bsps/include/dev/serial/arm-pl011-regs.h
-  - bsps/include/dev/serial/arm-pl011.h
+  - bsps/include/dev/serial/pl011.h
+  - bsps/include/dev/serial/mini-uart.h
 - destination: ${BSP_INCLUDEDIR}/rtems/zilog
   source:
   - bsps/include/rtems/zilog/z8036.h
@@ -96,7 +96,8 @@ source:
 - bsps/shared/dev/rtc/m48t08_reg8.c
 - bsps/shared/dev/rtc/mcp7940m.c
 - bsps/shared/dev/rtc/rtcprobe.c
-- bsps/shared/dev/serial/arm-pl011.c
+- bsps/shared/dev/serial/pl011.c
+- bsps/shared/dev/serial/mini-uart.c
 - bsps/shared/dev/serial/ns16550-context.c
 - bsps/shared/dev/serial/ns16550.c
 - bsps/shared/dev/serial/serprobe.c
-- 
2.41.0