プログラマ専用SNS ミクプラ

初めまして
Jetson TX1のデバッグやprofiling環境についてお伺いさせていただきます。
CUDA Cを使ってGPUボードJetson TX1を開発する場合、デバッグ(break pointの設定など)やprofilingをどうやって行うのでしょうか。
Jetson TX1がIDEを内臓していないようです。
利用できるIDEと利用方法-----できるだけJetson TX1自体がサポートできる開発環境を教えていただけませんか。
ご存じの方が少ないかもしれませんか、どうぞ宜しくお願いいたします。