Squashed 'tmk_core/' changes from 7967731..b9e0ea0

b9e0ea0 Merge commit '7fa9d8bdea3773d1195b04d98fcf27cf48ddd81d' as 'tool/mbed/mbed-sdk'
7fa9d8b Squashed 'tool/mbed/mbed-sdk/' content from commit 7c21ce5

git-subtree-dir: tmk_core
git-subtree-split: b9e0ea08cb940de20b3610ecdda18e9d8cd7c552

1 files changed, 37 insertions, 0 deletions

diff --git a/tool/mbed/mbed-sdk/libraries/doc/rtos.txt b/tool/mbed/mbed-sdk/libraries/doc/rtos.txt
new file mode 100644
index 000000000..2afdc6a51
--- /dev/null
+++ b/tool/mbed/mbed-sdk/libraries/doc/rtos.txt
@@ -0,0 +1,37 @@
+=== Tasks ===
+
+^ os_tsk.new->task_id  ^ Tasks ^ Stack Size       ^
+| 0x01                 | Main  | 4*OS_MAINSTKSIZE |
+| 0x02                 | Timer | 4*OS_TIMERSTKSZ  |
+| 0xFF                 | Idle  | 4*OS_STKSIZE     |
+
+----------
+    |     
+    V     os_tsk.run->tsk_stack
+          
+          
+MAGIC_WORD  os_tsk.run->stack[0]
+----------
+
+The current task structure is always pointed by:
+    struct OS_TSK os_tsk;
+
+=== Init Sequence ===
+OS:
+  * osKernelInitialize
+    * rt_sys_init
+      * rt_init_context
+        * rt_init_stack
+      * rt_set_PSP
+      * rt_init_robin
+      * rt_svc_init
+  
+  * set_main_stack
+  
+  * osThreadCreate(os_thread_def_main)
+    * rt_tsk_create
+      * rt_init_context
+        * rt_init_stack
+      * rt_dispatch
+  
+  * osKernelStart