Mirrored from https://github.com/antonblanchard/microwatt

Not used directly as-is, but is manually processed into the form included within pythondata-cpu-microwatt