PN: kernel-devsrc
PV: 1.0
PR: r0
PKGV: 1.0
PKGR: r0@EXTENDPRAUTO@
LICENSE: GPL-2.0-only
DESCRIPTION:kernel-devsrc-src: Development source linux kernel. When built, this recipe packages the source of the preferred virtual/kernel provider and makes it available for full kernel development or external module builds  This package contains sources for debugging purposes.
SUMMARY:kernel-devsrc-src: Linux kernel Development Source - Source files
SECTION:kernel-devsrc-src: devel
PKG:kernel-devsrc-src: kernel-devsrc-src
FILES:kernel-devsrc-src: /usr/src/debug
FILES_INFO:kernel-devsrc-src: {}
PKGSIZE:kernel-devsrc-src: 0
