[arch-general] 64 bit kernel with 32 bit userspace

[Laszlo Papp]

Hi,

based on the following forum entry, I would like to open this topic up for
a wide discussion.

https://bbs.archlinux.org/viewtopic.php?pid=1314594

Cheers, L.