Samsung Galaxy Book4 Edge - FreeBSD

Hardware info on main page.

keys: F2 - BIOS, F10 - boot menu,

Links

Work log

2025-03-01: I created this page.

2025-03-01: I tried booting from a usb stick with snapshot of a FreeBSD install (FreeBSD-15.0-CURRENT-arm64-aarch64-20250227-8a85584785e3-275712-memstick.img.xz) image on, I had the usb stick in a usb hub as this machine only has usb-C ports. Unfortunately, it doesn't look like usb is supported on this machine, so it fails when it tries to mount the usb stick. The keyboard doesn't work, and a usb keyboard doesn't work either.