/* | |
* Copyright (c) 2018, NXP | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#include <zephyr.h> | |
#include <misc/printk.h> | |
#include <device.h> | |
#include <ipm.h> | |
struct device *ipm; | |
void ping_ipm_callback(void *context, u32_t id, volatile void *data) | |
{ | |
ipm_send(ipm, 1, 0, (const void *)data, 4); | |
} | |
void main(void) | |
{ | |
ipm = device_get_binding(MAILBOX_0_LABEL); | |
if (!ipm) { | |
while (1) { | |
} | |
} | |
ipm_register_callback(ipm, ping_ipm_callback, NULL); | |
ipm_set_enabled(ipm, 1); | |
while (1) { | |
} | |
} |