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/