64 bit kernel

[TheOldPresbyope]

Ah, yes, a classic "ready-fire-aim" response from me. My bad  

Sadly, Raspbian makes available only 32-bit user-land libraries:

Code:

pi@moodelr:~ $ dpkg --print-architecture
armhf                                            <<hardware FP and 32-bit instructions
pi@moodelr:~ $ dpkg --print-foreign-architectures
pi@moodelr:~ $                                   <<-- null response; no other architecture available