On Mon, 22 Jun 1998, Jonathan Stone wrote:

> I've been thinking of adding
> 
> 	defopt opt_ntp.h	MIPS1 MISP3 
> 
> to sys/arch/mips/files.mips. This would move the "MIPS1" and "MIPS3"
> config options from a kernel Makefile into an into a .h file.  I can
> update the mips port.  I can update the in-tree mips ports to match
> (maybe not pica, if its truly moribund) but not the out-of-tree ports.

It's almost fine with me, but I'd like something a little less cryptic
than "opt_ntp.h" for the header file name.  (Besides, I think it's
taken).  How about "opt_mips_isa.h" or some such?  I hope someone can
come up with something more concise.

	-castor