OS-aware Debugging