seccomp on Raspberry Pi

[Hal Murray]

There are two sources for Linux software to run on the Pi.  You can download 
ready-to-go files from either Raspbian or Debian.  (There may be others.  
Those are the ones I've used.)

The code from Debian has a newer kernel, 4.9.24 vs 4.1.19, but most of the 
libraries and such come from Raspbian.

seccomp works on the Kernel(s) from Debian.  It doesn't work on the kernels 
from Raspbian.

There are actually 2 kernels shipped with each distro, one for older Pis and 
another for the ARM v7 chips in the newer Pis.  Both newer kernels work, both 
older don't.


-- 
These are my opinions.  I hate spam.