(a) The bonds shall be the direct general obligations of the State of Arkansas for the payment of debt service on which the full faith and credit of the State of Arkansas are irrevocably pledged so long as any such bonds are outstanding.
(b) The bonds shall be payable from the general revenues of the state as that term is defined in the Revenue Stabilization Law, § 19-5-101 et seq., and such amount of general revenues as is necessary is pledged to the payment of debt service on the bonds and shall be and remain pledged for that purpose.