1. 2015-12-19 Re: boot1.efi and ConsoleControl on HP 840G1/G2 freebsd-h Rui Paulo 2. 2015-12-18 Re: boot1.efi and ConsoleControl on HP 840G1/G2 freebsd-h John Baldwin 3. 2015-11-19 Re: boot1.efi and ConsoleControl on HP 840G1/G2 freebsd-h Emmanuel Vadot 4. 2015-11-19 boot1.efi and ConsoleControl on HP 840G1/G2 freebsd-h Emmanuel Vadot