Regarding 'Arduino Core for Mbed CE Arduino devices' and GIGA R1 WIFI

[megacct]

Hi, apologies if this isn't the right forum for this Q.

I'm keen to use https://github.com/mbed-ce/ArduinoCore-mbed-ce/ with my GIGA R1 WIFI board, and whilst the core has compiled successfully, the ninja package step has not included all the required headers. The zip doesn't include driver .h files for component WHD, for example, and possible others.
Any guidance on where to raise this issue or how to investigate further?

p.s. giga.build.variant is missing from ide-config-files/board-txts/ARDUINO_GIGA/boards.txt.in