(d) The bonds and notes authorized under this section constitute a general obligation of the state. While any of the bonds or notes or interest on the bonds or notes is outstanding and unpaid, there is appropriated out of the general revenue fund in each fiscal year an amount sufficient to pay the principal of and interest on the bonds and notes that mature or become due during the fiscal year, including an amount sufficient to make payments under a related credit agreement.