f9micro/f9-kernel — pull request #83 by ahmedammar (2014-04-01 19:23:43+00:00)
Title: ipc: do_ipc should not access thread context's stack pointer if not initialized.

Fixes f9micro/f9-kernel#80