*** on Debian GNU/Linux squeeze

必要なものは某バルク品（初期不良も含め一切保証なし）の某PCIなカード
NTT Communications の SCR3310-NTTCom のICカードリーダライタ

まずは必要そうなパッケージをとりあえずインストール

$ sudo apt-get install g++ libboost-filesystem-dev libboost-thread-dev libglib2.0-dev libpcsclite-dev libccid libglib2.0-dev libpcsclite-dev libccid pcscd libboost-regex-dev pcsc-tools

最新ドライバの取得とインストール

$ wget http://hg.honeyplanet.jp/pt1/archive/tip.tar.bz2
$ tar xvjf tip.tar.bz2
$ cd pt1-7662d0ecd74b/driver
$ make; sudo make install
$ sudo modprobe pt1_drv

b25 ライブラリ

$ wget http://hg.honeyplanet.jp/pt1/archive/c44e16dbb0e2.tar.bz2
$ tar xvjf c44e16dbb0e2.tar.bz2
$ cd pt1-c44e16dbb0e2/arib25
$ make; sudo make install

で、ツールなどインストール

$ cd pt1-7662d0ecd74b/recpt1
$ ./autogen.sh
$ ./configure
$ make; sudo make install

カードリーダの設定

$ cd pt1-c44e16dbb0e2/b25_docs
$ sudo mv /etc/libccid_Info.plist /etc/libccid_Info.plist- 
$ sudo cp libccid_Info.plist /etc

最後に /etc/libccid_Info.plist内の 1.3.1 を libccid のバージョン1.3.11 に変更してあげる

で、これで行けると思ったんだけど、分波器で地デジ・BS/CSを分けてあげないとだめなのかな？