That does complicate my simplistic story. Ing70 was, then, as you noted
in a previous mail, an 11/70, but it _wasn't_ running Version 7 Unix,
but rather something with various bits of BSD (also in active
development, I reckon).
Mumble -- the kernel and 90% of the userspace on Ing70 was V7 -- it was very similar to Teklabs which I ran.
It had all of 2BSD on it, but the kernel work that we think of as 'BSD" was 3.0BSD and later 4.0BSD and that was 100% on the Vax.
The point is it was a 16 bits system, the Johnson C compiler with some fixes from the greater USENIX community including UCB.
There was >>no port<< needed.
This was its native tongue.
It was >>included<< in later BSD released which is how people came to know it because 4.XBSD was became much more widely used than V7+2BSD.
The 2.9 work of Keith at al, started because the UCB Math Dept could not afford a VAX. DEC had released the v7m code to support overlays, so slowly
changed from the VAX made it back into the V7 based kernel - which took a new life.
Clem