Imported from https://github.com/pulp-platform/hwpe-tb