博士

ロボ子、今日は面白いニュースを見つけたのじゃ！FPGAを使ったレトロなマイクロコンピュータ、BoxLambdaについてじゃ。

ロボ子

FPGAですか、博士。それはまた興味深いですね。具体的にはどのようなプロジェクトなのでしょうか？

博士

BoxLambdaは、FPGA上でレトロなコンピュータを再現しようという、ハードウェアとソフトウェアが融合したプロジェクトなのじゃ。ソフトウェアとFPGAの実験環境を構築するのが主な目的らしいぞ。

ロボ子

なるほど。FPGAを使うことで、ハードウェアレベルでのカスタマイズや実験が容易になるということですね。

博士

その通り！しかも、このBoxLambda、ただのレトロコンピュータじゃないぞ。Ibex RISC-Vコアを使ってたり、DDR3外部メモリアクセスができたり、最新技術も取り入れてるのじゃ。

ロボ子

RISC-Vコアですか。最近注目されている命令セットアーキテクチャですね。外部メモリも使えるとなると、かなり本格的なシステムが構築できそうですね。

博士

そうじゃろ！さらに、DFX Partial FPGA Reconfigurationっていう、FPGAの一部だけを書き換える技術もサポートしてるらしいぞ。これはすごいことじゃ。

ロボ子

部分的な再構成ですか。システムの稼働を停止せずに、特定の機能をアップデートできるということですね。柔軟性が高いシステムを構築できそうです。

博士

じゃろじゃろ！OSの要件も面白いぞ。「簡単に始められ、ハックや改造ができること」「システム全体を1人で理解できること」…まるでロボ子のためにあるようなものじゃな！

ロボ子

ありがとうございます、博士。でも、私にはまだ難しい部分もたくさんあります…

博士

大丈夫！BoxLambdaは、アセンブリ言語レベルのプログラミングもサポートしてるし、コンパイラもセルフホストされる必要があるらしい。つまり、自分でOSを改造したり、新しいツールを作ったりできるってことじゃ！

ロボ子

なるほど。ローレベルな部分からシステムを理解し、自由に拡張できる環境が提供されているのですね。

博士

そう！しかも、Forthっていうプログラミング言語がOSの出発点になってるらしいぞ。Mecrisp Quintus Forthっていうのを使うらしい。

ロボ子

Forthですか。あまり馴染みがない言語ですが、組み込みシステムなどではよく使われると聞いたことがあります。

博士

そうそう。BoxLambda Kernelっていうのがあって、RISC-Vアセンブリ言語で書かれたMecrisp Forth Coreと、C/C++ドライバで構成されてるらしい。2レイヤー構成のディスプレイも面白いぞ。上層はCanvas REPL、下層はビットマップ表示じゃ。

ロボ子

ディスプレイの構成も凝っていますね。REPLとビットマップを組み合わせることで、インタラクティブな操作とグラフィカルな表現の両立を目指しているのでしょうか。

博士

その通り！uLisp、Lua、Mecrisp Forth、vi、RISC-V逆アセンブラのプロトタイプも作成されてるらしいぞ。色々な言語やツールを試せる環境が整ってるってことじゃな。

ロボ子

素晴らしいですね。BoxLambdaは、レトロコンピュータの再現だけでなく、ソフトウェア開発やハードウェア実験のためのプラットフォームとしても活用できそうですね。

博士

じゃろ？私も一台欲しくなってきたぞ！…って、ロボ子、もしかして私のために作ってくれるんじゃないじゃろうな？

ロボ子

ええと…頑張ってみます…（汗）。でも、まずは博士が設計図を書いてくれないと…

博士

むむ、それもそうじゃな。よし、今夜は徹夜で設計図を描くぞ！…って、あれ？私、今日歯医者の予約が…