as a teaser, let me announce that I from now on will build and test our source also on an arm-armv6 architecture, namely, Rasberry-Pi.
The first rounds of builds using Rasbian, i.e., Debian testing, and FreeBSD 11-CURRENT have already been completed with success. Initially I had hoped the endianness to be different between x86/IA32 and ARM/armv6, but this turned out not to be the case. Cool!
