1/*
2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#include <camkes.h>
8#include <stdio.h>
9#include <payload.h>
10
11void a_calculate(payload_t *data)
12{
13    const char *name = get_instance_name();
14    data->result = 0;
15    for (int i = 0; i < data->sz; i++) {
16        printf("%s: Adding %d\n", name, data->operands[i]);
17        data->result += data->operands[i];
18    }
19}
20