Hi Allen,
I have an aviion 88k machine available, and saw your address
on the netbsd site.
My aim is to get it working under a free operating system
either under linux or
netbsd. (I prefer netbsd) It was not clear for me if there
is any work started or
shall I start it from scratch. Unfortunately I don't know
much about this hardware 
so please be patient with me. 
Thank you, David.