WindowsのPCでXilinxのlinux_xlnxがgit cloneできなかった原因

VirtualBOXに入ってるUbuntuでやればよかったのだが、ちょっと理由があってWindowsでXilinxのlinux_xlnxを手に入れる必要があった。しかしなんでか、git cloneがうまくいかなかった。
原因はcloneするファイルの中にwindowsで禁止されたファイル名のファイルが含まれていたからだった。
GithubとかでCloneしたもののファイル名やディレクトリ名がAUXとかになっているとwindowsでは禁止用語なのでcheckoutできない。小文字大文字かかわらず、拡張子がついていようがいまいが、禁止された名前扱いされるらしい。AUXのほかにPRNやCONなどもだめらしい。以下の例だとaux.cという名前のファイルがあるせいでチェックアウトできないようだ。aaaa_aux.cとかファイル名に禁止名が含まれるだけなら大丈夫っぽい。



以下エラー時のログ
$ git clone https://github.com/Xilinx/linux-xlnx.git
Cloning into 'linux-xlnx'...
remote: Enumerating objects: 511, done.
remote: Counting objects: 100% (511/511), done.
remote: Compressing objects: 100% (244/244), done.
remote: Total 7321956 (delta 306), reused 355 (delta 267), pack-reused 7321445
Receiving objects: 100% (7321956/7321956), 1.89 GiB | 3.37 MiB/s, done.
Resolving deltas: 100% (6168327/6168327), done.
Checking objects: 100% (16777216/16777216), done.
error: invalid path 'drivers/gpu/drm/nouveau/nvkm/subdev/i2c/aux.c'
fatal: unable to checkout working tree
warning: Clone succeeded, but checkout failed.
You can inspect what was checked out with 'git status'
and retry with 'git restore --source=HEAD :/'