From Google, DEC Alpha is a RISC architecture, but I can’t see what es40 is, unless it’s just a fork code name?