How to generate firmware for MKR Motor Carrier?

Other Hardware 3rd Party Boards
1

Hello

I'd like to work on the firmware for the MKR Motor Carrier.
However, the IDE does not yet have this target in the board manager, or at least I could not find anything related to the SAMD11.
The source code contains the following hints:

To generate a new firmware, compile D11-Firmware with target MKRMotorShield, 4KB bootloader, LTO enabled, pinmap complete
and execute

echo -n "const " > fw.h && xxd -i D11-firmware.ino.bin >> fw.h
...
// compile me with target mkrmotorshield:samd:mkrmotorshield:bootloader=0kb,pinmap=complete,lto=disabled during development
// compile me with target mkrmotorshield:samd:mkrmotorshield:bootloader=4kb,pinmap=complete,lto=enabled for release

I have avr-gcc, but of course it doesn't know anything about mkrmotorshield. I would need a makefile or similar that knows about this target. So I guess the hints within the code refer to the Arduino IDE? Where can I get the corresponding package for the board manager?

Thanks a lot, Kjell

2

Kjell's issue report on this topic:
https://github.com/arduino-libraries/MKRMotorCarrier/issues/8