Is there a reset input from the board that is available to RTL?

Is there a reset input from the board that is available to RTL?

No. You can, however, use a trigger-in or wire-in to reset your HDL.