propellor-5.4.0: property-based host configuration management in haskell

Safe HaskellNone
LanguageHaskell98

Propellor.Property.FlashKernel

Description

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

Synopsis

Documentation

type Machine = String Source #

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) Source #

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 Source #

Runs flash-kernel with whatever machine installed configured.

flashKernelMounted :: FilePath -> Property Linux Source #

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