Joe, Geert -- Can we please wait with that a few days? I've been reviving DECstation bits recently but the generic stuff took priority (thankfully little bitrot there, the port generally works, except from the 64-bit mode). I think it'll make more sense if we have an incremental diff in the repo rather than a complete removal, followed with a readdition with necessary adjustments. > Adding Maciej and linux-mips Thanks for (re-)pinging, I've been trying to push things forwards as time permits. Maciej
