I frankly don't
bother with "dual booting" anymore. I run my Macintosh the way it always runs. Then, I use
VirtualBox® to host Linux (and Windows) as a
virtual machine. All of today's modern microprocessors have specific
hardware support for this mode of operation, so there really isn't a speed penalty.
While VirtualBox is certainly not the only available "virtual machine monitor," it is: "full-featured, absolutely
free, runs on everything, and is backed by probably the largest software corporation in the world."
All of today's popular operating systems – Windows, Linux, Macintosh,
etc. – are now engineered to "work just fine" in a virtual-machine environment, no matter which "monitor" you decide to use, because a substantial percentage of today's so-called
"cloud" is built upon it. (And: the rest is built upon
"containers.")