x86 Linux - 32 bit

The x86 Linux port is designed to work with Intel Pentium or compatible processors. The port supports RedHat Enterprise Linux 3 and 4, and compatible operating systems.

The port comes with two variants, one supporting the 80 bit extended precision floating point numbers via the Common Lisp long-float type, and the other variant using the 64 bit double precision floating point format for the long-float type.

Up to 3556M bytes of memory may be allocated to the lisp heap, although the usable amount depends on the kernel and may typically be lower at around 1664MB.

Known issues

Tracing and breakpoints are not thread safe but should be fine so long as only a single thread touches the code with a breakpoint.