Propellor.Property.FlashKernel

Make ARM systems bootable using Debian's flash-kernel package.

Documentation

type Machine = String

A machine name, such as "Cubietech Cubietruck" or "Olimex A10-OLinuXino-LIME"

flash-kernel supports many different machines, see its file usrshareflash-kerneldb/all.db for a list.

installed :: Machine -> Property (HasInfo + DebianLike)

Uses flash-kernel to make a machine bootable.

Before using this, an appropriate kernel needs to already be installed, and on many machines, u-boot needs to be installed too.

flashKernel :: Property DebianLike

Runs flash-kernel with whatever machine installed configured.

flashKernelMounted :: FilePath -> Property Linux

Runs flash-kernel in the system mounted at a particular directory.