FreeBSDユーザースペースでL4マイクロカーネルを使用する方法を理解しようとしています。 L4開発者に同じ質問をしましたが、FreeBSDを理解していないからといって、私も同じ質問をしに来ました。まず私はそれが彼らのウェブサイトにはっきりと書かれているのでそれができると確信しています：
http://os.inf.tu-dresden.de/L4Re/download/snapshots/
このセクションの:
ホストシステム要件
ホストシステムは64ビットベースでなければならず、最新のLinuxディストリビューションがインストールされており、少なくとも2 GBの空きディスク容量が必要です。
クロスコンパイラを含むビルドに必要なすべての必須ツールは、Linuxディストリビューションに付属のパッケージで利用できます。ただし、他のクロスコンパイラパッケージも使用できます（下記参照）。汎用ツールがインストールされていることを確認するには、src / l4ディレクトリでmake check_build_toolsを実行する必要があります。
BSDやその派生物を含む、任意のLinuxディストリビューションを自由に使用できます。しかし、あなたはこのゲームについて知る必要があります。特に、ツールのバージョンは、以下にリストされているディストリビューションにインストールされている最新バージョンである必要があります。
このスナップショットは、次のディストリビューションに関するものであると確信しています。
Debian 11 or later
Ubuntu 22.04 or later
Raspberry Pi 4でL4マイクロカーネル+ FreeBSD 14を使用したいとしましょう。私の最初のステップは、次のガイドラインに従ってRpi用L4Reを構築することです。
http://os.inf.tu-dresden.de/L4Re/rpi.html
以下は、エラーが発生しないコンパイル済みログファイルです。
https://pastebin.ubuntu.com/p/6SwN2mpJBM/
あるいは、ここからL4マイクロカーネルの事前に構築された画像をインポートすることもできます。
http://os.inf.tu-dresden.de/download/snapshots/pre-built-images/arm64/
この時点で、チュートリアルではLinuxディストリビューションを使用する必要があると言います。 RaspBianの公式Raspberry Pi 4ディストリビューションを使用することをお勧めします。しかし、私はLinuxをユーザー領域として使用したくないので、FreeBSDを使用したいと思います。今質問は：この目標を達成するにはどうすればよいですか？ L4マイクロカーネルをFreeBSDのubldrブートローダとどのように接続しますか？それともFreeBSDカーネルに接続する必要がありますか？誰かが私に行方不明のステップを説明できますか？ありがとうございます。