sspkg:    SKP
workman:  SKP
xv32_a:   SKP
xv32_so:  SKP
xv32exmp: SKP
xvinc32:  SKP
xvmenus:  SKP
xvol32:   SKP
