CRLファイルを設定する。
PKIファイルを内蔵フラッシュROMの専用領域へ保存する機種と、外部メモリやRTFS領域へ保存する機種によって file の指定形式が異なるので注意する必要がある。
内蔵フラッシュROMの専用領域へ保存する機種の場合、CRLファイル番号は show file list internal コマンドで確認できる。
外部メモリやRTFS領域が利用可能な機種で file に相対パスを指定する場合、set コマンドの環境変数 pwd で指定したディレクトリからの相対パスを指定する。