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
