diff --git a/src/check/process.h b/src/check/process.h
new file mode 100644
index 0000000000000000000000000000000000000000..e52c31efe6d87cf58eda2c89256ad4f4d4f8d128
--- /dev/null
+++ b/src/check/process.h
@@ -0,0 +1,11 @@
+#ifndef USERPROG_PROCESS_H
+#define USERPROG_PROCESS_H
+
+#include "threads/thread.h"
+
+tid_t process_execute (const char *file_name, const char *args);
+int process_wait (tid_t);
+void process_exit (void);
+void process_activate (void);
+
+#endif /* userprog/process.h */