Waldemar Brodkorb f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel %!s(int64=13) %!d(string=hai) anos
..
patches f7ae07959a refresh raspberry pi config, enable tickless system, update to latest stable kernel %!s(int64=13) %!d(string=hai) anos
Makefile 2b1f67debe fix cris build %!s(int64=13) %!d(string=hai) anos