Okay.

I have logged issue #651 (https://github.com/raspberrypi/firmware/issues/651) with the rpi team so that they try to sort their SECCOMP configuration in future kernels.

Regards,

/Pete

Reply via email to