initial pintos checkin

1 files changed, 14 insertions, 0 deletions

diff --git a/pintos-progos/examples/echo.c b/pintos-progos/examples/echo.c
new file mode 100644
index 0000000..1b136f2
--- /dev/null
+++ b/pintos-progos/examples/echo.c
@@ -0,0 +1,14 @@
+#include <stdio.h>
+#include <syscall.h>
+
+int
+main (int argc, char **argv)
+{
+  int i;
+
+  for (i = 0; i < argc; i++)
+    printf ("%s ", argv[i]);
+  printf ("\n");
+
+  return EXIT_SUCCESS;
+}