R. Matthew Emerson

This happens also when using a 32-bit kernel. Linux ubuntu 4.13.0-16-generic #19-Ubuntu SMP Wed Oct 11 18:33:49 UTC 2017 i686 i686 i686 GNU/Linux [ 880.620364] lx86cl[9010] bad frame in rt_sigreturn...

The whole scheme of trying to escape certain characters in namestrings is a long-standing source of confusion and annoyance. See https://trac.clozure.com/ccl/ticket/632

The PowerPC port has not been updated for quite some while now. Version 1.10 still supported Linux/ppc, but that release is something like 4 years old. We had been keeping...

Nice hack, @fitzsim !

The "unknown vinsn" message means there is a compiler bug.

To run under gdb from the beginning, source the file `lisp-kernel/linuxarm/.gdbinit` before starting up.

I get a core dump on a Raspberry Pi 3 also. On the other hand, the 1.11.5 release seems to work. When I can, I'll try bisecting to locate where...

fails starting at https://trac.clozure.com/ccl/changeset/16760 (that's git commit 7671e078fada40164090b21233502b232a76f83a) Or maybe not: it seems to sometimes work.

The current master works on my Chromebook (Samsung Exynos 5) http://www.samsung.com/us/computer/chrome-os-devices/XE303C12-A01US-specs I wonder if there's some cpu-implementation-specific behavior that we are relying on. Maybe some missing memory barrier or who...

Aha. So the bug is on 1.11.5 as well; that's useful to know.