解決済み: パーミッションの問題であり、ルールを追加することで解決しました
/etc/udev/rules.d/45-usb-stlink-v2.rules
(番号と名前は何でもかまいません)そしてその中に次のように貼り付けます:
#FT232
ATTRS{idProduct}=="6014", ATTRS{idVendor}=="0403", MODE="666", GROUP="plugdev"
#FT2232
ATTRS{idProduct}=="6010", ATTRS{idVendor}=="0403", MODE="666", GROUP="plugdev"
#FT230X
ATTRS{idProduct}=="6015", ATTRS{idVendor}=="0403", MODE="666", GROUP="plugdev"
#STLINK V1
ATTRS{idProduct}=="3744", ATTRS{idVendor}=="0483", MODE="666", GROUP="plugdev"
#STLINK V2
ATTRS{idProduct}=="3748", ATTRS{idVendor}=="0483", MODE="666", GROUP="plugdev"
その後、再起動するか試すことができます
sudo service udev restart
そして、すべてがうまくいくはずです。
ソース:
http://embeddedprogrammer.blogspot.co.uk/2012/09/stm32f4discovery-development-with-gcc.html
http://www.wolinlabs.com/blog/linux.stm32.discovery.gcc.html