MIPS R4200 / IDT3081 question

[Drew Eckhardt <drew@hazelrah.cs.Colorado.EDU>]

What would having sockets for the 3081 and 4200 take 
(provided that people aren't stupid enough to plug  
chips in both sockets at the same time)?

This would give us a working board *soon* so that Linux 
can get ported and stable, and would allow an upgrade 
path to the 4200 when MIPS finally ships it a year after
the announced date :-)