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