カーネルに埋め込むのと同じことになると思います。データポートがいくつかあります。割り当てられているかも知れません。alpha_pci_chipsetみたいな感じで。いいのかも、と思って作ってみました。configurationのバス(config_foundを使う)なので、別かと。configuration(ISAのような)バスであれば、一般的には子デバイスの存在自体わかりません。験的に全てがわかるので、platformで区別するという方法もありというところでしょうか。#もうちょっと見てみます。IDIndex(es):DateThread。