diff --git a/BitKeeper/etc/ignore b/BitKeeper/etc/ignore
index 96401405cf..3ecd4cfcf6 100644
--- a/BitKeeper/etc/ignore
+++ b/BitKeeper/etc/ignore
@@ -419,3 +419,9 @@ xen/tools/figlet/figlet
 xenolinux-2.4.16-sparse/arch/xeno/drivers/block/Makefile.orig
 xenolinux-2.4.16-sparse/arch/xeno/drivers/block/block.c.orig
 xenolinux-2.4.16-sparse/scripts/kconfig.tk
+tools/internal/xi_phys_grant
+tools/internal/xi_phys_grant.o
+tools/internal/xi_phys_probe
+tools/internal/xi_phys_probe.o
+tools/internal/xi_phys_revoke.o
+tools/internal/xi_phys_revoke