microblaze: Add libdl support

spec/build/cpukit/cpumicroblaze.yml

@@ -9,6 +9,9 @@ enabled-by:
 - microblaze
 includes: []
 install:
+- destination: ${BSP_INCLUDEDIR}/machine
+  source:
+  - cpukit/score/cpu/microblaze/include/machine/elf_machdep.h
 - destination: ${BSP_INCLUDEDIR}/rtems
   source:
   - cpukit/score/cpu/microblaze/include/rtems/asm.h

spec/build/cpukit/objdl.yml

@@ -36,6 +36,8 @@ links:
   uid: objdli386
 - role: build-dependency
   uid: objdlm68k
+- role: build-dependency
+  uid: objdlmicroblaze
 - role: build-dependency
   uid: objdlmips
 - role: build-dependency

spec/build/cpukit/objdlmicroblaze.yml

@@ -0,0 +1,15 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+build-type: objects
+cflags: []
+copyrights:
+- Copyright (C) 2023 On-Line Applications Research (OAR)
+cppflags: []
+cxxflags: []
+enabled-by:
+- microblaze
+includes: []
+install: []
+links: []
+source:
+- cpukit/libdl/rtl-mdreloc-microblaze.c
+type: build

spec/build/cpukit/optlibdl.yml

@@ -12,6 +12,7 @@ enabled-by:
 - arm
 - i386
 - m68k
+- microblaze
 - mips
 - moxie
 - powerpc