led_4bitsとした。端子名称変更は必須ではないが、わかりやすさのために行った。ダブルクリックで開く。ファイルの内容は全てコメントになっており、必要な設定のみコメントを外して設定を有効にする。始まる行を有効にする。入出力の端子名を指定する。led_4bits_tri_oとなる。ファイル)を生成する。ウィンドウで進捗状況がわかる)。用にエクスポート(後編で使用)。チェックを入れてOKで完了。プッシュボタンとLEDを扱うための回路データを生成できた。後編では、ソフトウェアを準備し、動作確認を行ってみる。生成される乱数の元ネタは予測不可能な値である必要がある。ハードウェアによる乱数生成器が存在しない場合、ソフトウェアで何とかしないといけない。カーネルでは、乱数の元ネタを各種デバイスドライバで生成される値を使用する。ユーザ空間から要求があった際に、エントロピー・プールから乱数を生成し、提供される。乱数の元ネタを生成しているドライバをリストしてみる。(drivers/char/random.c)ドライバで提供されているカーネル関数であり、引数で渡された値をエントロピー・プールに蓄えるらしい。その関数を呼び出すデバイスドライバ郡が上記となる。ドライバに横流しするだけのようである。