1/*
2 * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#include <camkes.h>
8#include <string.h>
9
10void external__init(void) {}
11
12char *external_get_value(const char *key) {
13    if (!strcmp(key, "secret")) {
14        /* Block reading the value of "secret" */
15        return strdup("");
16    } else {
17        /* Allow anything else */
18        return backing_get_value(key);
19    }
20}
21