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