# GXP device
type gxp_device, dev_type, mlstrustedobject;