On 8 November 2017 at 20:21, Adrian Bunk <b...@debian.org> wrote:
> Assuming your CPU and kernel support 64bit, this is working.

TIL, thanks!

Reply via email to