I have a Lenovo Thinkpad P15 laptop, and the Cpu is i9-11950H.
I used to run Archlinux on it, but soon I was tired of it updating the software version without my attention, so I wanted to change it to Freebsd.
After repeated attempts, I successfully installed Freebsd13.1, boot on zfs with efi on...