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

Safe Haskell | None
Language | Haskell2010

Propellor.Property.FlashKernel

Description

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

Synopsis

- type Machine = String
- installed :: Machine -> Property (HasInfo + DebianLike)
- flashKernel :: Property DebianLike
- flashKernelMounted :: FilePath -> Property Linux

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