Merge pull request #73 from zzz0072/master

user: annotate enum value instead of hardcode for syscalls
Write typed ipc message to destination thread
Check sender state in ipc_deliver

If sender is not at blocked state, we can not do ipc between
sender and receiver.
Handle blocked sender in ipc_deliver

Fix#72 to avoid ipc hanging.
Merge pull request #75 from georgekang/master

resolve the ipc_deliver blocking issue

Fixes #72

Fix typed message is not copied to receiver. Ipc can be issued only when
both sender and receiver are in blocked state.
trivial indentation fix
ipc: add basic support for L4_Sleep
add preliminary Travis CI support
travis-ci: properly install GNU Tools for ARM Embedded Processors
travis-ci: defer to defconfig

In the future, F9 is expected to support more devices, and it should
be straightforward to enable the build matrix of travis-ci by specifying
the board name.
Merge pull request #77 from ahmedammar/master

ipc: add basic support for L4_Sleep
mpu: move to platform as not all plaforms use ARM's mpu

- Kinetis MCU from FSL uses a different MPU than ARMs

Fix#78
Merge pull request #79 from ahmedammar/master

mpu: move to platform as not all plaforms use ARM's mpu
linker: move scripts to $(CHIP) sub-folder

Fixes #80
Merge pull request #81 from ahmedammar/master

linker: move scripts to $(CHIP) sub-folder
add Ahmed Ammar into author list
ipc: do_ipc should not access thread context's stack pointer if not initialized.

Fixes f9micro/f9-kernel#82
Merge pull request #83 from ahmedammar/master

ipc: do_ipc should not access thread context's stack pointer if not initialized.
thread Removal: Fix thread could not be removed.

Fixes #74

sys_thread_control: Now, utcb is used only for thread creation.  Move its
checking for thread creation.

thread_destroy: Because "parent" is usually equal to "caller", we should remove
"thr" first and then move its children to "caller".  Otherwise, "parent->t_child"
may be assigned to "thr->t_child". Then, it is incorrect to remove "thr" from
"parent->t_child".
Merge pull request #84 from georgekang/master

Thread Removal: Fix thread could not be removed.