On Mon, Nov 19, 2012 at 11:47 AM, Daniel Schepler <dschepler@gmail.com> wrote: > Later I'll try to document this a bit more on the wiki, [snip] OK, I've now created http://wiki.debian.org/X32Port . -- Daniel Schepler