On Saturday 02 July 2016 20:17:34 Gene Heskett wrote:
> This is essentially 32 bit wheezy, with a special, pinned, rtai patched
> kernel

So you can't really, anyhow reasonably, blame Debian of any of its quirks.

Lisi