<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jan 23, 2017 at 10:27 AM, Jules <span dir="ltr"><<a href="mailto:hacker@popmonkey.com" target="_blank">hacker@popmonkey.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>On Sun, Jan 22, 2017 at 4:24 PM, Tomasz Chmielewski <span dir="ltr"><<a href="mailto:tch@virtall.com" target="_blank">tch@virtall.com</a>></span> <wbr>wrote:<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">You need the same magic as booting for example a x86-64 livecd on an Intel system or AMD system...</blockquote><div><br></div><div>ugh, turns out my new host is running a 32bit kernel...</div></div><div class="gmail_extra"><br></div></div>
<br></blockquote><div><br></div><div>Ouch.</div><div><br></div><div>Is there anything special about your new host that can't use 64bit kernel? AFAIK even the old asus T100 tablet has a cpu capable of runnig 64bit kernel, even when the UEFI is 32bit.</div><div><br></div><div>-- </div><div>Fajar</div></div></div></div>