mount(8)のオプションuser

なぜかcoLinuxのcofs機能でマウントしたディレクトリ内でプログラムが実行できなかった．chmod(1)でa+xしても駄目．
manすらまともに読んでおらず知らなかったのだが，マウント時に指定していたオプションuserはデフォルトでnoexecを含意するらしい．

user

一般ユーザーでもファイルシステムをマウントできるようにする。 マウントを行ったユーザーの名前がmtabに書き込まれ、そのユーザーがアンマウントできるようになる。 このオプションを指定すると、同時にnoexec, nosuid, nodevが指定されたことになる。 ただし続けて指定すれば上書きは可能。 すなわちuser,exec,dev,suidのような行を指定すればよい。

結局/etc/fstabには次のように書いた：

# /etc/fstab: static file system information.
#
# <file system> <mount point>   <type>  <options>               <dump>  <pass>
（略
cofs0:/    /mnt/win    cofs    user,exec,fmask=0777,dmask=0777    0    0