-^(386|68000|68020|alpha|amd64|arm|power|power64|sparc|sparc64)/(bin|lib)(/|$)
-^(acme|sys/src)/(.*/)?[12578vqki]\..*$
-^(acme|sys/src)/.*\.[ao]?[12578vqki]?$
-^(dev|fd|net.*|srv|shr|env|root|boot|mnt|n|bin|usr|cfg|cron|mail|tmp)(/|$)
+^(386|68000|68020|alpha|amd64|arm|mips|power|power64|sparc|sparc64|spim)/(bin|lib)(/|$)
+^(acme|sys/src)/(.*/)?[0125678vqki]\..*$
+^(acme|sys/src)/.*\.[ao]?[0125678vqki]?$
+^(dev|fd|net.*|srv|shr|env|root|proc|boot|mnt|n|bin|usr|cfg|cron|mail|tmp)(/|$)