[FOSS_TLK]ote: tlk: makefile change for upstream TLK
[3rdparty/ote_partner/tlk.git] / include / kernel / boot_params.h
1 /*
2  * Copyright (c) 2012-2014, NVIDIA CORPORATION. All rights reserved
3  *
4  * Permission is hereby granted, free of charge, to any person obtaining
5  * a copy of this software and associated documentation files
6  * (the "Software"), to deal in the Software without restriction,
7  * including without limitation the rights to use, copy, modify, merge,
8  * publish, distribute, sublicense, and/or sell copies of the Software,
9  * and to permit persons to whom the Software is furnished to do so,
10  * subject to the following conditions:
11  *
12  * The above copyright notice and this permission notice shall be
13  * included in all copies or substantial portions of the Software.
14  *
15  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
16  * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
17  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
18  * IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
19  * CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
20  * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
21  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
22  */
23
24 #ifndef __BOOT_PARAMS_H
25 #define __BOOT_PARAMS_H
26
27 #include <sys/types.h>
28 #include <kernel/task.h>
29
30 #define BOOT_PARAM_HEADER       'TFBP'
31 #define CMDLINE_START           "[Global]"
32 #define CMDLINE_DRAM_RANGE      "mem"
33 #define CMDLINE_OS_BOOT_ADDR    "normalOS.ColdBoot.PA"
34 #define CMDLINE_DEBUG_UART_ID   "config.register.uart.id"
35 #define CMDLINE_TFKEY_ADDR      "config.s.mem.1.address"
36 #define CMDLINE_TFKEY_SIZE      "config.s.mem.1.size"
37 #define CMDLINE_DEVICE_UID0     "config.uid0"
38 #define CMDLINE_DEVICE_UID1     "config.uid1"
39 #define CMDLINE_DEVICE_UID2     "config.uid2"
40 #define CMDLINE_DEVICE_UID3     "config.uid3"
41 #define CMDLINE_TSEC_CARVEOUT   "tsec"
42 #define CMDLINE_DTB_ADDR        "dtbaddr"
43
44 #define DEVICE_UID_SIZE_WORDS   4
45 #define PARAM_NAME_LEN          64              // in bytes
46
47 #define TLK_BOOT_PARAMS_MAX_STRING      1024
48 #define EKS_MAXIMUM_CODE_SIZE           0x600
49
50
51 typedef struct {
52         uint32_t        param_string_sz;
53         char            param_string[TLK_BOOT_PARAMS_MAX_STRING];       // our cmdline arguments
54 } boot_params;
55
56 typedef struct {
57         uint32_t        encrypted_key_sz;
58         char            encrypted_keys[EKS_MAXIMUM_CODE_SIZE];          // encrypted keys
59 } key_params;
60
61 void save_boot_params(unsigned int, uint32_t);
62 void parse_cmdline(void);
63 int get_boot_args(task_t *task, uint32_t *args);
64
65 #endif