I am a student studying my masters at International Institute of Information Technology, Bangalore. We are working on a project called "Temperature Aware variant of FreeBSD" in which the scheduling algorithm has to be changed. Could you please provide the developer's manual for the sched_ule.c file explaining the structures, variables and functions?