我试图了解如何在 FreeBSD 用户空间中使用 L4 微内核。我向一位 L4 开发人员提出了同样的问题，但他告诉我他不懂 FreeBSD，所以我来这里问同样的问题。首先我确信这是可以做到的，因为他们的网站上写得很清楚：
http://os.inf.tu-dresden.de/L4Re/download/snapshots/
在该部分：
主机系统要求
主机系统应是基于 64 位的系统，安装了最新的 Linux 发行版，并且至少有 2GB 的可用磁盘空间。
构建所需的所有必要工具都可以从 Linux 发行版提供的软件包中获得，包括交叉编译器。但还有其他可用的交叉编译器包（见下文）。您可能需要在 src/l4 目录中运行 make check_build_tools 来验证常用工具是否已安装。
您可以自由使用您喜欢的任何 Linux 发行版，甚至 BSD 或其任何衍生版本。但你应该了解这个游戏。特别是工具版本应该是最新的，如下面列出的发行版上安装的那样。
我们确信该快照适用于以下发行版：
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 发行版。他们建议使用 Raspberry Pi 4 的官方发行版，那就是 RaspBian。但我不想使用Linux作为用户区，我想使用FreeBSD。现在的问题是：我应该怎样做才能实现这个目标？如何将 L4 微内核与 FreeBSD 的 ubldr 引导加载程序链接起来？或者我应该将它链接到 FreeBSD 的内核？有人可以向我解释缺少的步骤吗？谢谢。