XilKernel and Budgeting

Does any buddy have any idea or guide me to some document explaing how the budgeting can be done in XilKernel on PP405. I need the kernel to tell me when a thread is hanged or when its execution passes the allocated time.

Thanks