Armadilloフォーラム

お世話になります。

Armagillo IoT G3 で SPI 通信をしたいと考えております。

マニュアル（armadillo-iotg-g3_product_manual_ja-1.12.0.pdf）を参照し、
カーネルの SPI_SPIDEV オプションを y にしてビルドし、
SDカードにその uImage と dts ファイルを書き込みブートしましたが、
/dev/spidev* ファイルが現れません。

dtsファイルについて明るくないため、今のところそのあたりのソースを探れていない状態です。
XXX ポートを用いて spi 通信をしたい場合どのような手順をとれば良いのでしょうか。
初学者で恐縮ですが、ご教授いただければ幸いです。

宜しくお願い致します。