On 2016-03-14 22:14, Michael Howard wrote:
I didn't build an RPM as I came across a packaging problem, an aarch64/UTS_MACHINE issue I believe and I had no idea how to solve it nor could I spend any real time investigating it.
I have put together some kernel rpms: http://ftp.redsleeve.org/pub/misc/aarch64/