PN: linux-xlnx
PV: 6.12.10+git
PR: r0
PKGV: 6.12.10+git@PRSERV_PV_AUTOINC@+0a0f70e531
PKGR: r0@EXTENDPRAUTO@
LICENSE: GPL-2.0-only
DESCRIPTION: Xilinx Kernel
SUMMARY: Linux kernel
SECTION: kernel
PKG:kernel-vmlinux: kernel-vmlinux
FILES:kernel-vmlinux: /boot/vmlinux-6.12.10-xilinx-g0a0f70e531c7
FILES_INFO:kernel-vmlinux: {"/boot/vmlinux-6.12.10-xilinx-g0a0f70e531c7": 9986136}
PKGSIZE:kernel-vmlinux: 9986136
