On Aug 2, 2012, at 3:15 PM, Mike Pall wrote: > Richard Hundt wrote: >> On Aug 2, 2012, at 2:34 PM, Mike Pall wrote: >>> Does it break on OSX 32 bit, too, without the change? >> >> Nope. I compiled with gcc -m32 and it's happy. Removing -m32 and >> it breaks again. Although it's supposed to be possible to boot >> OS X into a 32 bit kernel, I'm not sure if that's what you meant > > Nope, user level is what I meant. I've pushed a fix to git HEAD. Thanks, Mike.