71//struct tcb_entry *krnl_task; /*!< pointer to a task control block entry */
72//uint16_t krnl_tasks; /*!< number of tasks in the system */
73//uint16_t krnl_current_task; /*!< the current running task id */
74//uint16_t krnl_schedule; /*!< scheduler enable / disable flag */
75//struct queue *krnl_run_queue; /*!< pointer to a queue of best effort tasks */
76//struct queue *krnl_delay_queue; /*!< pointer to a queue of delayed tasks */
77//struct queue *krnl_rt_queue; /*!< pointer to a queue of real time tasks */
78//struct queue *krnl_event_queue; /*!< pointer to a queue of tasks waiting for an event */
79//uint8_t krnl_heap[HEAP_SIZE]; /*!< contiguous heap memory area to be used as a memory pool. the memory allocator (malloc() and free()) controls this data structure */
80//uint32_t krnl_free; /*!< amount of free heap memory, in bytes */