diff --git a/util/m5/src/m5.c b/util/m5/src/m5.c
index de382d0886..6e3efac223 100644
--- a/util/m5/src/m5.c
+++ b/util/m5/src/m5.c
@@ -225,23 +225,6 @@ do_write_file(int argc, char *argv[])
     write_file(filename, host_filename);
 }
 
-void
-do_exec_file(int argc, char *argv[])
-{
-    if (argc > 0)
-        usage();
-
-    const char *destname = "/tmp/execfile";
-
-    int fid = open(destname, O_WRONLY, 0777);
-    int len = read_file(fid);
-    close(fid);
-    if (len > 0) {
-        execl(destname, "execfile", NULL);
-        err(1, "execl failed!");
-    }
-}
-
 void
 do_checkpoint(int argc, char *argv[])
 {
@@ -306,9 +289,6 @@ struct MainFunc mainfuncs[] = {
                                              "delay (default 0) dump the "
                                              "stats, and then optionally "
                                              "every period after" },
-    { "execfile",       do_exec_file,        "read a preselected file into "
-                                             "/tmp/execfile and then exec() "
-                                             "it" },
     { "exit",           do_exit,             "[delay] // Exit after delay, "
                                              "or immediately" },
     { "fail",           do_fail,             "<code> [delay] // Exit with "