instruction ✓ sha512sig0h SHA2-512 Sigma0 low (RV32) ✓ aes32dsmi AES middle round decryption instruction for which things there has been deceived by the place of a long list (now feared in