ALH 84001 might have formed from an ancient martian volcano like this one, called Hadriaca Patera. (There is no evidence that ALH 84001 came from this particular volcano.)