/documentation/6.components/device-driver/tee/