I don't know what they use, but it doesn't seem there is any software that is simple enough to use.
I just want to configure a subregion, call generate-tiles.py planet.xml or whatever, and be done with it.
I like open source, but there will always be open source software that is needlessly complicated because, well, it lets companies like mapbox and others to generate income for their expertise.
That's not the best open source spirit, in my view.