Sebastian Ramacher

Here is a full log from a run that fails while unmounting /proc: https://gist.github.com/sebastinas/234c88c756b5dc626e20. I've seen this problem with 0.9.9 and current git master on a Ubuntu 15.10 and an...

It appears to happen at some later point. This is what I got when manually mounting proc: ``` bash % mount | grep 442 /dev/mapper/nbd0p1 on /opt/bootstrap-vz/4424e1c0/root type ext4 (rw,relatime,data=ordered)...

@nbraud The special-devices branch fails with a completely different error: ``` [119.826078415] DEBUG: Loading provider virtualbox [144.201040268] DEBUG: Loading plugin minimize_size [144.742965698] DEBUG: Loading plugin commands [144.820928574] DEBUG: Loading plugin...

`colormatrix-primaries` was the first that failed for me. I don't know if there are any others.

I'm currently in the process of packaging rav1e for Debian. The current blockers for me are at least the dependency on `vergen` version 3 instead of version 6.

ACK, if this is not considered a bug in libva, then media-driver needs to ensure that its `__vaDriverInit` is compiled without any additional flags.

Picnic now performs runtime selection if OQS is built with SSE2/AVX2/NEON support.

Is there are a reason that `-Wa,--noexecstack` is only set when including assembler code? Shouldn't this be enabled globally?

Now I know why it the linker options is missing. I'll iterate on possible solutions in #1294.

There's some Picnic code that could be lifted for SHA3/SHAKE support on s390x: https://github.com/IAIK/Picnic/blob/master/sha3/s390_cpacf.h. It doesn't have runtime detection yet, but can be used as basis.