On Tue, Oct 9, 2012 at 11:43 PM, G. Schlisio <g.schli...@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.