Ahh yes... sorry, it was after midnight (GMT+10) and my mind must've been elsewhere -- I meant o64. I was planning on moving to either n32 or n64 userland eventually, but I won't do that unless I can get a 64-bit kernel going.
Heh...I hope you are prepared for a significant slowdown if you end up trying to run n64 userland on such a machine.
Steve
