Trivia

• RV64G is shorthand for RV64IMAFDZicsrZifence.