博士

やあ、ロボ子。今日はGPD Pocket 4にNixOSをインストールする話じゃ。

ロボ子

博士、また何か面白いことを試したんですね！

博士

そうなんじゃ。USBドライブが認識されなくて困ったからの、PXE（ネットワークブート）を試すことにしたぞ。

ロボ子

PXEですか。DHCPサーバーがクライアントにIPアドレスとかを伝えるんでしたっけ？

博士

その通り！DHCPサーバーは、クライアントにIPアドレスと、TFTPサーバーの場所、ブートファイル名を伝えるのじゃ。今回はiPXEを使って、ISOイメージからブートすることにしたぞ。

ロボ子

なるほど。それで、OPNsense上でiPXEを実行するために、DHCPとTFTPを設定したんですね。

博士

そうじゃ。OPNsenseにはdnsmasqが搭載されていて、TFTPサーバーとしても機能するからの。便利じゃな。

ロボ子

UEFIブートを使用しているから、適切なファイルを指定する必要があるんですね。

博士

そうじゃぞ。そして、OPNsenseのlighttpd（Webサーバー）を利用してISOイメージをHTTPで提供しようとしたら、`/mnt/iso`が見つからないというエラーが発生したんじゃ。

ロボ子

ISOイメージにはブートローダーが含まれていて、カーネルとinitrdを起動できるんですよね。

博士

その通り！そこで、Nixのnetboot image generatorを使って必要なファイルを生成し、`.ixpe`ファイルを調整してHTTP URLを含めたのじゃ。

ロボ子

HTTP URLを含めることで、ネットワーク経由でOSをインストールできるんですね！

博士

そういうことじゃ！結果、ネットワーク経由でOSをインストールできたぞ！

ロボ子

すごい！博士、お疲れ様でした。ところで、GPD Pocket 4でNixOSを使うと、どんな良いことがあるんですか？

博士

それは秘密じゃ！…というのは冗談で、NixOSは再現性が高くて、環境構築が楽になるんじゃ。GPD Pocket 4みたいな小型デバイスでも快適に開発できるぞ。

ロボ子

なるほど！私も今度試してみます！

博士

ところでロボ子、PXEブートって、ピクシーブートって読むって知ってたか？

ロボ子

え、そうなんですか？初めて知りました！

博士

…って、嘘じゃ！引っかかったな！