FreeBSD 사용자 공간에서 L4 마이크로커널을 사용하는 방법을 이해하려고 합니다. L4 개발자에게 같은 질문을 했는데 FreeBSD를 이해하지 못한다고 해서 저도 같은 질문을 하러 왔습니다. 우선 나는 그것이 그들의 웹사이트에 명확하게 쓰여 있기 때문에 그것이 이루어질 수 있다고 확신합니다:
http://os.inf.tu-dresden.de/L4Re/download/snapshots/
이 섹션의:
호스트 시스템 요구 사항
호스트 시스템은 64비트 기반이어야 하며 최신 Linux 배포판이 설치되어 있어야 하며 최소 2GB의 여유 디스크 공간이 있어야 합니다.
크로스 컴파일러를 포함하여 빌드에 필요한 모든 필수 도구는 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 커널에 연결해야 합니까? 누군가 나에게 누락된 단계를 설명해 줄 수 있나요? 감사해요.