Orz日記 by Akio Morita

_ [FreeBSD]FreeBSD on Raspberry Pi4

千石電子の店頭にRaspberry Pi4が並ぶようになっていたので、 オモチャとして8GB版を手に入れたので、FreeBSD-13.2-STABLE-arm64-aarch64-RPIをためしてみた

13.2-RELEASE時点でRPIイメージは、8GB版でもそのまま動くという話だが、microSD・USBともにFreeBSDの /boot/loaderを見つけられないで止まる

どうやら、2023.01版Firmwareと PRIイメージに載せているu-boot.binのメモリマップが整合していない模様 (詳しくは、PR269181辺りを参照)

手順的には、以下でブート可能な状態にできた

• /usr/ports/sysutils/u-boot-rpi4/files/rpi4_fragment にパッチを当てる
• portmaster sysutils/u-boot-rpi4する
• /usr/local/share/u-boot/u-boot-rpi4/u-boot.bin をRPIイメージのs1パーテションのmsdosfs上に置く

upstreamの修正が入り始めている模様なので、そのうちports側にも反映されるはず(何時になるか分からんが…)

あと、u-boot.binと /boot/loader.efiコンソール環境では、USBキーボードサポートが無いので、 プロンプトでごそごそ作業するには事前にGPIOヘッダーからシリアルを引き出して接続しておく必要がある

_ [SAD]SAD on RPI4

FreeBSDのlang/gcc12だとieee_arithmetic.modが見つからず停止

どうもaarch/powerpc系でlibmまわりの実装検出で問題が出てる模様 (/usr/include/fenv.hとかはあるのだが…)