freebsd stable - Jan 2019 - Not sure if this is the correct place.... (laptop, dual-boot EFI)

-mobile appears to be pretty much a dead-letter, so I'm posting here...

I have dual-boot working well on my Lenovo X220, and have for quite some
time, between Win10 and FreeBSD 11.? This is set up for MBR however, not
EFI.

I just picked up an X1 Carbon Gen 6, which is an UEFI machine, with
Win10 on it.

I'd like to repartition it to be able to dual boot it much as I do with
my X220 (I wish I could ditch Windows entirely, but that is just not
going to happen), but I'm not sure how to accomplish that in the EFI
world -- or if it reasonably CAN be done in the EFI world.? Fortunately
the BIOS has an option to turn off secure boot (which I surmise from
reading the Wiki FreeBSD doesn't yet support) but I still need a means
to select from some reasonably-friendly way *what* to boot.

With the X220 Bootmanager does this reasonably easily; you get an "F"
key for the desired partition, and if you press nothing after a few
seconds whatever you pressed last is booted.? Works fine.? What options
exist for doing this in a UEFI world, if any, and is there a
"cookbook"
for putting this together?? I assume *someone* has set up dual, given
that the X1 Carbon Gen 6 is listed as working in the laptop database.

Thanks in advance!

-- 
Karl Denninger
karl at denninger.net <mailto:karl at denninger.net>
/The Market Ticker/
/[S/MIME encrypted email preferred]/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4897 bytes
Desc: S/MIME Cryptographic Signature
URL:
<http://lists.freebsd.org/pipermail/freebsd-stable/attachments/20190125/df0181ec/attachment.bin>

On Sat, 26 Jan 2019 at 13:00, Karl Denninger <karl at denninger.net>
wrote:
[...]
> I'd like to repartition it to be able to dual boot it much as I do with
> my X220 (I wish I could ditch Windows entirely, but that is just not
> going to happen), but I'm not sure how to accomplish that in the EFI
> world -- or if it reasonably CAN be done in the EFI world.  Fortunately
> the BIOS has an option to turn off secure boot (which I surmise from
> reading the Wiki FreeBSD doesn't yet support) but I still need a means
> to select from some reasonably-friendly way *what* to boot.
The EFI partition is just a MS-DOS partition, and most EFI aware BIOS
will (by default) load /EFI/Boot/boot64.efi when starting up. On my
Dell Inspiron 17, I created /EFI/FreeBSD and copied FreeBSD's
/boot/loader.efi to /EFI/FreeBSD/boot64.efi. My laptop's BIOS setup
allowed me to specify a boot-entry to for \EFI\FreeBSD\boot64.efi. On
a cold start, I have to be quick to hit the F12 key, which then allows
me to specify whether to boot Windows or FreeBSD. I'm not sure how
Lenovo's BIOS setup works, but I'm pretty sure that it should have
something similar.

Cheers.
-- 
Jonathan Chen <jonc at chen.org.nz>

> 
> I'd like to repartition it to be able to dual boot it much as I do with
> my X220 (I wish I could ditch Windows entirely, but that is just not
> going to happen), but I'm not sure how to accomplish that in the EFI
> world -- or if it reasonably CAN be done in the EFI world.  Fortunately
> the BIOS has an option to turn off secure boot (which I surmise from
> reading the Wiki FreeBSD doesn't yet support) but I still need a means
> to select from some reasonably-friendly way *what* to boot.
Check out rEFInd:

    https://www.rodsbooks.com/refind/

I use it to dual boot Win10 and FreeBSD with EFI.  The installation docs are
pretty good.

Eric