initial exec support

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/exec/exec.c b/tests/exec/exec.c
new file mode 100644
index 0000000..4f92b27
--- /dev/null
+++ b/tests/exec/exec.c
@@ -0,0 +1,16 @@
+#include <common/test.h>
+
+START(pid, tid, d0, d1, d2, d3)
+{
+	UNUSED(d2);
+	UNUSED(d3);
+
+	printf("pid = %ld, tid = %ld, d0 = %ld, d1 = %ld\n",
+			pid, tid, d0, d1);
+
+	check(pid == 0, "unexpected pid for exec\n");
+	check(tid == 2, "unexpected tid for exec\n");
+	check(d0 == SYS_USER_SPAWNED, "unexpected d0 for exec\n");
+	check(d1 == 2, "unexpected d1 for exec\n");
+	ok();
+}