1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2021, Foundries.IO
12 int do_scp03_enable(struct cmd_tbl *cmdtp, int flag, int argc,
18 if (tee_enable_scp03()) {
19 printf("TEE failed to enable SCP03\n");
20 return CMD_RET_FAILURE;
23 printf("SCP03 is enabled\n");
25 return CMD_RET_SUCCESS;
28 int do_scp03_provision(struct cmd_tbl *cmdtp, int flag, int argc,
34 if (tee_provision_scp03()) {
35 printf("TEE failed to provision SCP03 keys\n");
36 return CMD_RET_FAILURE;
39 printf("SCP03 is provisioned\n");
41 return CMD_RET_SUCCESS;
45 "provides a command to enable SCP03 and provision the SCP03 keys\n"
46 " enable - enable SCP03 on the TEE\n"
47 " provision - provision SCP03 on the TEE\n";
49 U_BOOT_CMD_WITH_SUBCMDS(scp03, "Secure Channel Protocol 03 control", text,
50 U_BOOT_SUBCMD_MKENT(enable, 1, 1, do_scp03_enable),
51 U_BOOT_SUBCMD_MKENT(provision, 1, 1, do_scp03_provision));