PN: xilplmi
PV: 2026.1+git
PR: r0
PKGV: 2026.1+git
PKGR: r0@EXTENDPRAUTO@
LICENSE: MIT
DESCRIPTION:xilplmi-dev: Infrastructure subsystem of the Versal Platform Loader and Manager (PLM) firmware (event manager, error handling, IPI), part of the AMD Xilinx embeddedsw stack.  This package contains symbolic links, header files, and related items necessary for software development.
SUMMARY:xilplmi-dev: AMD Xilinx Versal PLM infrastructure library (xilplmi). - Development files
RRECOMMENDS:xilplmi-dev: cfupmc-dev device-tree-dev libgcc-dev libgloss-dev libxil-dev xilplmi (= 2026.1+git-r0@EXTENDPRAUTO@) xilstandalone-dev xiltimer-dev
SECTION:xilplmi-dev: devel
PKG:xilplmi-dev: xilplmi-dev
ALLOW_EMPTY:xilplmi-dev: 1
FILES:xilplmi-dev: /usr/include /lib/lib*.so /usr/lib/lib*.so /usr/lib/*.la                 /usr/lib/*.o /usr/lib/pkgconfig /usr/share/pkgconfig                 /usr/share/aclocal /lib/*.o                 /usr/lib/xilplmi/*.la /lib/*.la                 /usr/lib/cmake /usr/share/cmake
FILES_INFO:xilplmi-dev: {"/usr/include/list.h": 2304, "/usr/include/xplmi.h": 13335, "/usr/include/xplmi_bsp_config.h": 2096, "/usr/include/xplmi_cdo.h": 4427, "/usr/include/xplmi_cmd.h": 6093, "/usr/include/xplmi_config.h": 10597, "/usr/include/xplmi_debug.h": 4460, "/usr/include/xplmi_defs.h": 6673, "/usr/include/xplmi_dma.h": 4354, "/usr/include/xplmi_err.h": 3998, "/usr/include/xplmi_err_common.h": 11001, "/usr/include/xplmi_error_node.h": 8446, "/usr/include/xplmi_event_logging.h": 6131, "/usr/include/xplmi_generic.h": 7984, "/usr/include/xplmi_gic_interrupts.h": 2577, "/usr/include/xplmi_hw.h": 41106, "/usr/include/xplmi_ipi.h": 4996, "/usr/include/xplmi_modules.h": 9125, "/usr/include/xplmi_plat.h": 28732, "/usr/include/xplmi_proc.h": 4187, "/usr/include/xplmi_scheduler.h": 3805, "/usr/include/xplmi_ssit.h": 10366, "/usr/include/xplmi_status.h": 42812, "/usr/include/xplmi_sysmon.h": 2405, "/usr/include/xplmi_tamper.h": 4407, "/usr/include/xplmi_task.h": 3690, "/usr/include/xplmi_util.h": 4153, "/usr/include/xplmi_ver.h": 1677, "/usr/include/xplmi_wdt.h": 1978}
PKGSIZE:xilplmi-dev: 257915
