discover/platform-powerpc: Set IPMI OS boot sensor
[petitboot] / INSTALL
2012-02-12 Geoff LevandConvert build to use automake