Armadilloフォーラム

使用カーネルバージョン : v3.14-x1-at17

お世話になります、青田と申します。
ホットプラグ操作にて、PCIeデバイスをとっかえひっかえ、動作させるシステムを検討しています。

当方で後述の試行錯誤したのですが、実現させることが出来ておりませんで
・Armadillo-X1にてPCIeのホットプラグに対応できるのか
・ホットプラグに対応できるのであれば、対応する方法
に、ついてご教示頂きたいです。

試行錯誤の内容は以下です。（長文すいません）
（前提①pciutilsをインストールし、PCIeデバイスを接続した状態で電源ONし、lspciによりデバイスが接続されていることを確認）
（前提②PCIeデバイスのドライバをinsmodし、動作させられることを確認）
（前提③# echo 1 > /sys/bus/pci/devices/0000\:00\:00.0/remove で、00:00.0 のデバイスがlspciより無くなることを確認）
（前提④PCIeデバイスを抜き、再び差し、# echo 1 > /sys/bus/pci/rescan で、00:00.0 のデバイスがlspciに再び現れることを確認）

・前提③, ④の操作を行った後にドライバのinsmodを行うと、insmodに失敗する
　それは、前提③, ④を行う前にドライバをinsmodしている・していないに関わらず発生する
・PCIeデバイスを接続しない状態で電源ONし、その後にPCIeデバイスを接続すると、そもそもlspciで表示されないことが判明
　上記rescanをしても表示されず
・Linuxのカーネルコンフィグにて、HOTPLUG_PCI_PCIEなるsymbolが在ることを知るが、Armadillo-X1ではmenuconfigでそれを操作出来ない。
　HOTPLUG_PCIがunknownのせい？
　また、そのsymbolにより対応出来るようになるのかは、調べきれず、不明
　（カーネルコンフィグ検索画面より）
│ Symbol: HOTPLUG_PCI [=HOTPLUG_PCI] │
│ Type : unknown │
│ │
│ │
│ Symbol: HOTPLUG_PCI_PCIE [=n] │
│ Type : boolean │
│ Prompt: PCI Express Hotplug driver │
│ Location: │
│ -> Bus support │
│ (2) -> PCI Express Port Bus support (PCIEPORTBUS [=y]) │
│ Defined at drivers/pci/pcie/Kconfig:16 │
│ Depends on: HOTPLUG_PCI && PCIEPORTBUS [=y] │

ご助力頂ければありがたいです。

以上です、よろしくお願いいたします。