commit 132a7a54098b838486dfc50c511ffb2ff7d0543d
author Alexander Wharton <y> Wed Sep 21 14:24:44 2016 +1000
committer Alexander Wharton <y> Tue Sep 27 12:34:28 2016 +1000
tree 4160a6ddfe43d60ede1f3dca3d29e94f8cd3eaf8
parent 2d270b22796ffc1698411508d4f699b7dffc9740

sel4utils: add initial_stack_pointer to sel4utils_thread to allow for the case where a process is initialised but not started immediately

libsel4utils/include/sel4utils/thread.h

diff --git a/libsel4utils/include/sel4utils/thread.h b/libsel4utils/include/sel4utils/thread.h
index dac5bf8..cb1a030 100644
--- a/libsel4utils/include/sel4utils/thread.h
+++ b/libsel4utils/include/sel4utils/thread.h
@@ -38,6 +38,7 @@
 typedef struct sel4utils_thread {
     vka_object_t tcb;
     void *stack_top;
+    void *initial_stack_pointer;
     size_t stack_size;
     seL4_CPtr ipc_buffer;
     seL4_Word ipc_buffer_addr;