VC 2017 を弄っていたら，Linux のプロジェクトの作成が可能になっていたので試してみた．
どのタイミングだったか忘れたが，SSH 接続が必要になる．

今まで設定してある Raspberry Pi に接続してみた．

Raspberry Pi 側の設定は「Raspberry Pi の設定」－「インターフェイス」にある．

ビルド時に使用する include は以下にコピーされている．これは Raspberry Pi の /user/include と同じ内容？
C:\Users\Iwao\AppData\Local\Microsoft\Linux\HeaderCache\1.0\-1277036696\usr\include

ビルドして出来上がった .out は /home/pi/projects/…/bin/ARM/Release にある．