[jkeler]

It defines extensions but no way to detect them. Am I missing something?

[cesarb]

Take a look at the mcpuid register (one of the CSR registers) in the draft of the privileged architecture specification.

[ianopolous]

Maybe try executing one and catch the exception.