Unix on BBC micro with 16032 coprocessor

Tony Duell wrote: Funnily enough, mention of that socket just cropped up on the BBC list, and someone remembers their father working on one of these boards with a floating point unit fitted into that socket via a small daughtercard. They're willing to admit that they may be misremembering though! Would that be a possibility though, or is it definitely an MMU socket? They're going to mention it to their dad, but suspect that he's long since forgotten details too. (Incidentally this was at Oxford uni - which is the first time I've heard that they had any 32016 units, although I suppose it's not surprising) Oh, and I was also thinking about the Xenix on the ACW rumour. It's remotely possible that someone managed to get Xenix running on the 80286 coprocessor in the ABC 3xx machines I suppose, and that's where this rumour of ACW's running Xenix started (after all, the machines look identical externally). It'd solve the porting to a different CPU issue at least, but presumably would be no small feat to get it to do I/O across the TUBE. Still, slightly more plausible than an ACW version... I could see Acorn doing early press releases about the ABC range and saying "oh yeah, we've got Xenix in the works for one of these" - and of course to most people the ACW and the ABC equate to the same system as the Z80 version's largely forgotten and the 80286 version never existed outside the labs (far as I've been able to tell). Hence over time things got corrupted into people thinking there was a 32016 Unix variant... cheers Jules