Cyclone 10 GX dev kit, which signal can I use to reset a NIOS?

I've had a look at the Cyclone 10 GX dev kit user manual and schematics but it's not clear if the board provides a signal to the C10 that will drive the NIOS platform reset input correctly. Any sugge...