blob: 591e75826b02a75707dc019f90f8b56c779688a3 [file] [log] [blame]
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -04001/*
2 * K2HK: secure kernel command file
3 *
4 * (C) Copyright 2012-2014
5 * Texas Instruments Incorporated, <www.ti.com>
6 *
7 * SPDX-License-Identifier: GPL-2.0+
8 */
9
10#include <common.h>
11#include <command.h>
Lokesh Vutlaae6b2222016-09-16 10:17:12 +053012#include <image.h>
Tom Rini108ee582016-03-16 09:10:08 -040013#include <mach/mon.h>
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040014asm(".arch_extension sec\n\t");
15
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040016static int do_mon_install(cmd_tbl_t *cmdtp, int flag, int argc,
17 char * const argv[])
18{
Lokesh Vutlaae6b2222016-09-16 10:17:12 +053019 u32 addr, dpsc_base = 0x1E80000, freq, load_addr, size;
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040020 int rcode = 0;
Lokesh Vutlaae6b2222016-09-16 10:17:12 +053021 struct image_header *header;
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040022
23 if (argc < 2)
24 return CMD_RET_USAGE;
25
Vitaly Andrianov7fd5b642015-09-19 16:26:41 +053026 freq = CONFIG_SYS_HZ_CLOCK;
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040027
28 addr = simple_strtoul(argv[1], NULL, 16);
29
Lokesh Vutlaae6b2222016-09-16 10:17:12 +053030 header = (struct image_header *)addr;
31
32 if (image_get_magic(header) != IH_MAGIC) {
33 printf("## Please update monitor image\n");
34 return -EFAULT;
35 }
36
37 load_addr = image_get_load(header);
38 size = image_get_data_size(header);
39 memcpy((void *)load_addr, (void *)(addr + sizeof(struct image_header)),
40 size);
41
42 rcode = mon_install(load_addr, dpsc_base, freq);
43 printf("## installed monitor @ 0x%x, freq [%d], status %d\n",
44 load_addr, freq, rcode);
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040045
46 return 0;
47}
48
49U_BOOT_CMD(mon_install, 2, 0, do_mon_install,
50 "Install boot kernel at 'addr'",
51 ""
52);
53
54static void core_spin(void)
55{
Vitaly Andrianovaa750ed2015-07-08 11:40:14 -040056 while (1) {
57 asm volatile (
58 "dsb\n"
59 "isb\n"
60 "wfi\n"
61 );
62 }
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040063}
64
Vitaly Andrianov7bcf4d62014-04-04 13:16:53 -040065int do_mon_power(cmd_tbl_t *cmdtp, int flag, int argc,
66 char * const argv[])
67{
68 int rcode = 0, core_id, on;
69 void (*fn)(void);
70
71 fn = core_spin;
72
73 if (argc < 3)
74 return CMD_RET_USAGE;
75
76 core_id = simple_strtoul(argv[1], NULL, 16);
77 on = simple_strtoul(argv[2], NULL, 16);
78
79 if (on)
80 rcode = mon_power_on(core_id, fn);
81 else
82 rcode = mon_power_off(core_id);
83
84 if (on) {
85 if (!rcode)
86 printf("core %d powered on successfully\n", core_id);
87 else
88 printf("core %d power on failure\n", core_id);
89 } else {
90 printf("core %d powered off successfully\n", core_id);
91 }
92
93 return 0;
94}
95
96U_BOOT_CMD(mon_power, 3, 0, do_mon_power,
97 "Power On/Off secondary core",
98 "mon_power <coreid> <oper>\n"
99 "- coreid (1-3) and oper (1 - ON, 0 - OFF)\n"
100 ""
101);