Thomas Petazzoni 2ff655c2e1 at91bootstrap: no board name check when 'make source' is used %!s(int64=14) %!d(string=hai) anos
..
Config.in 5b2d56068d at91bootstrap: rename config options for consistency %!s(int64=14) %!d(string=hai) anos
at91bootstrap-1.16-eabi-fix.patch c1c881c08a at91bootstrap: switch to the official version %!s(int64=14) %!d(string=hai) anos
at91bootstrap.mk 2ff655c2e1 at91bootstrap: no board name check when 'make source' is used %!s(int64=14) %!d(string=hai) anos