Pranav,

You are describing a few of the reasons to use a commercial kernel instead of writing your own.

I would not attempt to make anything of the complexity you describe on my own. The likelyhood of some subtle bug (one that will show once a month or so) is far too great.

The problem you are discussing is "priority inversion" there is an excellent discussion of the problem and means of handling it in the xa-user guide you can find as the last entry at http://www.semiconductors.philips.com/products/...other.html

Have fun, but be aware what you are getting into

Erik