Source files of the user task scheduler developed in optional class called Embedded Systems