T-Kernel Specification (1.B0.02)

List of Tables
2.1 State Transitions Distinguishing Invoking Task and Other Tasks . . . . . . . . . . . . . 8
4.1 Target Task State and Execution Result (tk ter tsk) . . . . . . . . . . . . . . . . . . . 35
4.2 Values of tskwait and wid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.3 Task States and Results of tk rel wai Execution . . . . . . . . . . . . . . . . . . . . . . 58
xiii