Add data pointers as global variables
Add IDLE function
Correct DATA and IDLE previous insertions
UINT_MAX constant value added
Implement init_kernel
Correct IDLE declarations
Begin implementation of create_task
Correct file inclusions
Protect critical code zones by disactivating interrupts
Correct global variables
Modify init_kernel
Remove destroy_list
Now insert_readyList receive a pointer to a TCB structure rather than a pointer to a listobj
Modify init_kernel
Add variable to handle kernel current mode
Modify init_kernel
Modify create_task
Insert kernel.h in lists.h
Change again insert_readyList to take a listobj parameter
Modify create_task to create the listobj elmt to be inserted in the readyList