Package: kernel-vmlinux
Version: 4.13.12-r2
Description: Linux kernel for Atmel ARM SoCs (aka AT91)
 Linux kernel for Atmel ARM SoCs (aka AT91)
Section: kernel
Priority: optional
Maintainer: Poky <poky@yoctoproject.org>
License: GPLv2
Architecture: sama5d3xek
OE: linux-at91
Source: linux-at91_4.13.12.bb
