Dear list, Sorry to follow up on my own posting, but I have found the following wiki page: https://wiki.freebsd.org/UEFI Apparently FreeBSD-HEAD has support for booting via UEFI. What is FreeBSD-HEAD (excuse my ignorance)? Again thanks for your help. Best Regards, Alexander