check8080: warn if we accidentally suck in stuff we don't save when switching

diff --git a/Kernel/tools/check8080 b/Kernel/tools/check8080
new file mode 100755 (executable)
index 0000000..096919a
--- /dev/null
+++ b/Kernel/tools/check8080
@@ -0,0 +1,7 @@
+#!/bin/sh
+if anm $1 |egrep ".fra|block1|block2|block3|.dvi4|.mli4"
+then
+       echo "***WARNING: Kernel is using unsafe operations"
+       exit 1
+fi
+exit 0