From d55f44cfb5bb35f56f56e5c8f1bc78374fc04197 Mon Sep 17 00:00:00 2001
From: Sam Price <samuel.r.price@nasa.gov>
Date: Thu, 18 Jun 2026 12:09:35 -0400
Subject: [PATCH] microblaze: Install uartlite/xil-compat headers

Microblaze is most likely built with uartlite for uart.
We will install the <bsp/uartlite.h> / <bsp/uartlite_l.h>
header files for users to use.
---
 spec/build/bsps/microblaze/microblaze_fpga/obj.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/spec/build/bsps/microblaze/microblaze_fpga/obj.yml b/spec/build/bsps/microblaze/microblaze_fpga/obj.yml
index eb502abb17..bb469c41e5 100644
--- a/spec/build/bsps/microblaze/microblaze_fpga/obj.yml
+++ b/spec/build/bsps/microblaze/microblaze_fpga/obj.yml
@@ -18,6 +18,10 @@ install:
   - bsps/microblaze/microblaze_fpga/include/bsp/microblaze-timer.h
   - bsps/microblaze/microblaze_fpga/include/bsp/microblaze-gpio.h
   - bsps/microblaze/include/bsp/microblaze-fdt-support.h
+  - bsps/microblaze/microblaze_fpga/include/bsp/xil-compat.h
+  - bsps/include/bsp/xil-compat-common.h
+  - bsps/microblaze/include/dev/serial/uartlite.h
+  - bsps/microblaze/include/dev/serial/uartlite_l.h
 links: []
 source:
 - bsps/microblaze/microblaze_fpga/clock/clock.c