Initial Upload

hello.c

@@ -0,0 +1,7 @@
+#include "types.h"
+#include "user.h"
+
+int main(int argc, char *argv[]) {
+    greeting();
+    exit();
+}