Package: stubble-kernel
Version: 10
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 14
Depends: stubble (>= 10-1)
Section: admin
Priority: optional
Description: UEFI kernel stub with device-tree loading capability -- kernel helper
 Small Linux kernel EFI boot stub bundling device trees, a CHID database
 and the kernel. The stub finds a matching device tree based on CHIDs
 generated from SMBIOS and loads it before executing the embedded kernel.
 Helper for the kernel to generate the stubble kernels.
