something like 3-6% of the Earth's crust is ferrous Fe(II) so in principle the quantity of hydrogen that could be produced in this manner is something ungodly like 1e15 tons. but the problem is the natural rate of formation is very slow because it's rate-limited by low rock surface areas and slow formation of new rock faces. hence shattering rocks with electricity to increase the reaction rate.
source: I worked on the 2024 us govt research effort that funded these guys
https://arpa-e.energy.gov/news-and-events/news-and-insights/...