Linux on MacOS Dual boot

Bootloader partitions , etc…

1751311 - Partitioning issue RHEL8 on a Mac machine

https://bugzilla.redhat.com/show_bug.cgi?id=1751311#c16

Broadcom Wi-Fi drivers

https://github.com/antoineco/broadcom-wl

How to eliminate mock build warnings:

https://unix.stackexchange.com/questions/459384/how-to-eliminate-the-warnings-
mockbuild-does-not-exist

How to compile RPM sources

Download the latest SRPM package from Koji:

wget https://kojipkgs.fedoraproject.org//packages/frama-c/1.14/1.fc27/src/frama-c-1.1
4-1.fc27.src.rpm

Rebuild it for your system (possibly resolve missing dependencies, if they are
available):

rpmbuild --rebuild frama-c-1.14-1.fc27.src.rpm

Install the package:

Linux on MacOS Dual boot 1

 yum install ~/rpmbuild/RPMS/.../path/../to/your.rpms

Linux on MacOS Dual boot 2