Local Interrupt Example

Hi,

Does anyone know on which configuration the local interrupt example (which comes with Freedom Metal) runs? I managed to set up leds and buttons with a Arty but got stuck in sifive_gpio_buttons.cpp where I don’t know to get __metal_driver_sifive_gpio_button_interrupt_controller resolved.

Cheers,
Matt