10 Oct
2012
10 Oct
'12
12:36 a.m.
On Tue, Oct 9, 2012 at 11:43 PM, G. Schlisio <g.schlisio@gmx.de> wrote:
hi list, i am running an arch server (x84_64) inside a virtual private server.
This might be related to your question. But I am wondering which VPS provider provides a 64-bit kernel.