Heinrich Schuchardt e9a4bfb7b5 Makefile: Allow padding zeros when converting DTB to C source %!s(int64=3) %!d(string=hai) anos
..
create-binary-archive.sh 65c06b026d platform: Remove spike directory %!s(int64=4) %!d(string=hai) anos
d2c.sh e9a4bfb7b5 Makefile: Allow padding zeros when converting DTB to C source %!s(int64=3) %!d(string=hai) anos