No. This is a stock kernel. It’s available from both testing and unstable repos. The machine itself is a SheevaPlug. Nothing custom about it.
What makes you think it’s custom? Rick On Jul 28, 2016, at 3:59 AM, Michael Biebl <bi...@debian.org> wrote: > control: tags -1 + moreinfo > Am 28.07.2016 um 12:08 schrieb Rick Thomas: >> Main PID: 477 (code=exited, status=228/SECCOMP) > ... >> Kernel: Linux 4.6.0-1-marvell > > That looks like you are using a custom kernel. Is the problem > reproducible with the default Debian Linux kernel? > > > -- > Why is it that all of the instruments seeking intelligent life in the > universe are pointed away from Earth? >