Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 1 | /* |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 2 | * Copyright (c) 2018-2019, Arm Limited. All rights reserved. |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | * |
| 6 | */ |
| 7 | |
Jamie Fox | cc31d40 | 2019-01-28 17:13:52 +0000 | [diff] [blame] | 8 | #include "psa/initial_attestation.h" |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 9 | #include "tfm_veneers.h" |
Antonio de Angelis | 05b2419 | 2019-07-04 15:28:46 +0100 | [diff] [blame] | 10 | #include "tfm_ns_interface.h" |
Jamie Fox | cc31d40 | 2019-01-28 17:13:52 +0000 | [diff] [blame] | 11 | #include "psa/client.h" |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 12 | #include "psa_manifest/sid.h" |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 13 | |
| 14 | #define IOVEC_LEN(x) (sizeof(x)/sizeof(x[0])) |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 15 | |
| 16 | enum psa_attest_err_t |
| 17 | psa_initial_attest_get_token(const uint8_t *challenge_obj, |
| 18 | uint32_t challenge_size, |
| 19 | uint8_t *token, |
| 20 | uint32_t *token_size) |
| 21 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 22 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 23 | psa_status_t status; |
Kevin Peng | 9449a36 | 2019-07-29 16:05:42 +0800 | [diff] [blame^] | 24 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 25 | psa_invec in_vec[] = { |
| 26 | {challenge_obj, challenge_size} |
| 27 | }; |
| 28 | psa_outvec out_vec[] = { |
| 29 | {token, *token_size} |
| 30 | }; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 31 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 32 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 33 | TFM_ATTEST_GET_TOKEN_VERSION); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 34 | if (handle <= 0) { |
| 35 | return PSA_ATTEST_ERR_GENERAL; |
| 36 | } |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 37 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 38 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 39 | in_vec, IOVEC_LEN(in_vec), |
| 40 | out_vec, IOVEC_LEN(out_vec)); |
| 41 | psa_close(handle); |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 42 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 43 | if (status < PSA_SUCCESS) { |
| 44 | return PSA_ATTEST_ERR_GENERAL; |
| 45 | } |
| 46 | |
| 47 | if (status == PSA_SUCCESS) { |
| 48 | *token_size = out_vec[0].len; |
| 49 | } |
| 50 | |
| 51 | return (enum psa_attest_err_t)status; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 52 | } |
| 53 | |
| 54 | enum psa_attest_err_t |
| 55 | psa_initial_attest_get_token_size(uint32_t challenge_size, |
| 56 | uint32_t *token_size) |
| 57 | { |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 58 | psa_handle_t handle = PSA_NULL_HANDLE; |
| 59 | psa_status_t status; |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 60 | psa_invec in_vec[] = { |
| 61 | {&challenge_size, sizeof(challenge_size)} |
| 62 | }; |
| 63 | psa_outvec out_vec[] = { |
| 64 | {token_size, sizeof(uint32_t)} |
| 65 | }; |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 66 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 67 | handle = psa_connect(TFM_ATTEST_GET_TOKEN_SIZE_SID, |
Edison Ai | 870abb4 | 2019-06-21 11:14:08 +0800 | [diff] [blame] | 68 | TFM_ATTEST_GET_TOKEN_SIZE_VERSION); |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 69 | if (handle <= 0) { |
| 70 | return PSA_ATTEST_ERR_GENERAL; |
| 71 | } |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 72 | |
Summer Qin | 4b1d03b | 2019-07-02 14:56:08 +0800 | [diff] [blame] | 73 | status = psa_call(handle, PSA_IPC_CALL, |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 74 | in_vec, IOVEC_LEN(in_vec), |
| 75 | out_vec, IOVEC_LEN(out_vec)); |
| 76 | psa_close(handle); |
Tamas Ban | b6b8056 | 2019-01-04 22:49:24 +0000 | [diff] [blame] | 77 | |
Kevin Peng | 2ed3022 | 2019-04-30 09:26:11 +0800 | [diff] [blame] | 78 | if (status < PSA_SUCCESS) { |
| 79 | return PSA_ATTEST_ERR_GENERAL; |
| 80 | } |
| 81 | |
| 82 | return (enum psa_attest_err_t)status; |
Tamas Ban | 48a0eb5 | 2018-08-17 12:48:05 +0100 | [diff] [blame] | 83 | } |