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