Writing portable microcontroller libraries is hard. The first issue that I run into is that it is hard to set up a toolchain and debugger for a specific microcontroller to run builds from the command line. Possible, but takes a
running the virtual machine on Mac
You can run provided virtual machine on Mac either using Oracle VirtualBox or VMware Fusion Pro. I am using VirtualBox. In VirtualBox select “use existing disk image” and VirtualBox runs VMware virtual machine out of the box straight away without