Source: flash-kernel Section: utils Priority: optional Maintainer: Ubuntu Developers XSBC-Original-Maintainer: Debian Install System Team Uploaders: Loïc Minier , Hector Oron , Wouter Verhelst Build-Depends: debhelper (>= 7.3.10), devio Standards-Version: 3.9.2 Vcs-Browser: http://git.debian.org/?p=d-i/flash-kernel.git Vcs-Git: git://git.debian.org/d-i/flash-kernel.git Package: flash-kernel Architecture: arm armel armeb armhf arm64 Depends: ${misc:Depends}, devio, initramfs-tools (>= 0.92f), linux-base (>= 3.2) Suggests: u-boot-tools Description: utility to make certain embedded devices bootable flash-kernel is a script which will put the kernel and initramfs in the boot location of embedded devices that don't load the kernel and initramfs directly from /boot. flash-kernel supports devices that boot from flash memory (hence the name) as well as some devices that require a special boot image on the disk. Package: flash-kernel-installer Section: debian-installer Priority: standard XC-Package-Type: udeb Architecture: arm armel armeb armhf arm64 XB-Subarchitecture: armadaxp exynos5 generic-lpae generic iop32x ixp4xx keystone kirkwood orion5x s3c24xx mx5 omap omap4 xgene Provides: bootable-system Depends: cdebconf-udeb, installed-base XB-Installer-Menu-Item: 7300 Description: Make the system bootable