Integrating Wiznet WZ5500 with Esp32 in Moddable

[rmontrosecbw]

I'm trying to integrate the Wiznet SPI Ethernet chip with Moddable 5.8. Espressif 5.4 has built-in support for the WZ5500, which I enable in the sdkconfig. defaults for my new target board (based on the moddable_six_cdc.
I see the enc28j60 driver and tried copying that and creating a wz5500 driver beside it, but I'm not sure how to specify Moddable to use the WZ5500 driver instead of the ENC28J60. In the manifest,json I found the SPI pin mapping.s

"defines": {
        "ethernet": {
            "hz": 6000000,
            "int_pin": 33,
            "spi": {
                "cs_pin": 27,
                "port": "VSPI_HOST",
                "miso_pin": 35,
                "mosi_pin": 26,
                "sck_pin": 0
            }
        }
    }

But they seem universal for all Ethernet devices. How do I specify that these will only apply to my device or target?
I would appreciate any direction someone could share with me on approaching this. I want to contribute this to the Moddable repository so it can support the WZ5500 along with the ENC28J60.