ADD:CONFIG_TRUSTY
ADD:CONFIG_TRUSTY_LOG
ADD:CONFIG_TRUSTY_VIRTIO
ADD:CONFIG_TRUSTY_VIRTIO_IPC
