initial checkout from wrc

1 files changed, 33 insertions, 0 deletions

diff --git a/include/userids.h b/include/userids.h
new file mode 100644
index 0000000..284f3ee
--- /dev/null
+++ b/include/userids.h
@@ -0,0 +1,33 @@
+/**
+** @file	userids.h
+**
+** @author	Warren R. Carithers
+**
+** @brief	IDs for user-level programs
+**
+** NOTE: this file is automatically generated when the user.img file
+** is created. Do not edit this manually!
+*/
+
+#ifndef USERIDS_H_
+#define USERIDS_H_
+
+#ifndef ASM_SRC
+/*
+** These IDs are used to identify the various user programs.
+** Each call to exec() will provide one of these as the first
+** argument.
+**
+** This list should be updated if/when the collection of
+** user processes changes.
+*/
+enum users_e {
+	Init, Idle, Shell, ProgABC, ProgDE, ProgFG, ProgH, ProgI,
+	ProgJ, ProgKL, ProgMN, ProgP, ProgQ, ProgR, ProgS, ProgTUV,
+	ProgW, ProgX, ProgY, ProgZ
+	// sentinel
+	, N_USERS
+};
+#endif  /* !ASM_SRC */
+
+#endif