On Sun, May 18, 2014 at 03:51:38PM -0700, Howard Chu wrote:
Hmmm. I suppose it's a matter of timing. 64bit ARM chips are hitting the market now. Frankly I view this as a problem that will solve itself, and not worth lifting a finger over.
Just found via lwn.net:
https://lists.linuxfoundation.org/pipermail/ksummit-discuss/2014-May/000335....
:-)
Volker