diff --git a/mach/.distr b/mach/.distr
index 50005d9ae..59c2fa38c 100644
--- a/mach/.distr
+++ b/mach/.distr
@@ -22,5 +22,6 @@ s2650
 sun3
 sun2
 vax4
+xenix3
 z80
 z8000