Different kernel, same Ubuntu: $ cat /etc/issue Ubuntu 10.04.1 LTS \n \l
$ uname -r 2.6.32-24-server Is your box 64-bit? If not, that might indicate the issue: $ uname -a Linux kahu 2.6.32-24-server #43-Ubuntu SMP Thu Sep 16 16:05:42 UTC 2010 x86_64 GNU/Linux It's also running in a VM. N. On Mon, Jan 24, 2011 at 3:09 PM, Stephen Chang <stch...@ccs.neu.edu> wrote: > stchang@mton:~/plt/src/build$ cat /etc/issue > Ubuntu 10.04.1 LTS \n \l > stchang@mton:~/plt/src/build$ uname -r > 2.6.32-27-generic _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
