xv32_a: SKP
xv32exmp: SKP
xvinc32: SKP
xvmenus: ADD
xvol32: ADD
xv32_sa: SKP
xv32_so: ADD
workman: ADD