tree 4160a6ddfe43d60ede1f3dca3d29e94f8cd3eaf8
parent 2d270b22796ffc1698411508d4f699b7dffc9740
author Alexander Wharton <y> 1474431884 +1000
committer Alexander Wharton <y> 1474943668 +1000

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