Waldemar Brodkorb e31fad60d7 add support for ARM thumb mode %!s(int64=8) %!d(string=hai) anos
..
patches db23827de8 gcc: update 4.9.x to 4.9.4 %!s(int64=8) %!d(string=hai) anos
Makefile e31fad60d7 add support for ARM thumb mode %!s(int64=8) %!d(string=hai) anos
Makefile.inc db23827de8 gcc: update 4.9.x to 4.9.4 %!s(int64=8) %!d(string=hai) anos