On Thu, May 31, 2012 at 01:58:50PM +0300, Jukka Ruohonen wrote: > I think there is no such thing as "atf_machine". Well, it worked for me ;-) atf_machine The machine type name detected by ATF. This should not be tunable but is provided for symmetry with atf_arch. Martin