SmartKit

SmartKit is a server routine maintenance tool. It can manage servers in in-band or out-of-band mode. The TEE OS can be regarded as a piece of embedded software on servers. The host OS provides the tlogcat tool for viewing logs. The in-band and out-of-band management functions of SmartKit allow you to batch upgrade TEE OSs, batch set BIOS TEE parameters, batch import TrustZone license files, and collect TEE OS logs with one click.

For details about how to use this feature, see SmartKit.