Hi Samuel
OK, I will try to reproduce the error with your iso. But I can't download it: Not Found The requested URL /~sthibault/hurd-i386/tmp/mini.iso was not found on this server. Apache Server at people.debian.org Port 443 Jens On Sun, 1 Oct 2017 16:57:58 +0200 Samuel Thibault <samuel.thiba...@gnu.org> wrote: > Re, > > Jens Arm, on jeu. 28 sept. 2017 09:12:58 +0200, wrote: > > The error is shown only a few seconds then it reboots automatically, so I > > had to be very quick taking this photo. > > Perhaps this photo helps to fix this. > > Probably not, unfortunately, because they don't provide source lines. I > have however uploaded a mini.iso with debugging symbols enabled (ftr, > gnumach version 2:1.8+git20170911-1) on > > https://people.debian.org/~sthibault/hurd-i386/tmp/mini.iso > > When it crashes, you should be able to type > > trace > > to get a complete backtrace which would be useful. > > Samuel -- Jens Arm <jens....@gmx.de>