Xinu Is Not Unix

[Mark Galassi]

[]
  I read parts of Doug Comer's excellent book
	"Operating Systems Design: the XINU Approach"
which was very well done. Some friends of mine and I have decided
to write a similar system for a homebrew 680*0 machine. Comer
mentions that a port of XINU exists for the 68k. Can someone
tell me how much it costs, have they tried it, and if the development
system for a VAX/4.2bsd works well. I would greatly appreciate it.
Please send responses to
				...!tektronix!tekig4!rosalia
P.S. Also, where should I send for it?