In-house Operating System debugging with System Debugging Tool

[USUG__Ugur]

We want to debug kernel of our in-house developed Operating Sytem with Intel System Debugging Tool. We are using Intel System Studio 2017 with Intel ITP-XDP prob. 

• Is there any method to do this?
• What is the method for debugging bare-metal applications? 
• Is there any way to make Intel System Studio/System Debugging tools aware of different OSes other than Linux, vx-Works etc.?

Thanks, Ugur.