/* SPDX-FileCopyrightText: 2016 ARM Limited */
/* SPDX-License-Identifier: Apache-2.0 */
#ifndef _JERRYSCRIPT_MBED_LAUNCHER_LAUNCHER_H
#define _JERRYSCRIPT_MBED_LAUNCHER_LAUNCHER_H

void jsmbed_js_launch(void);
void jsmbed_js_exit(void);

#endif  // _JERRYSCRIPT_MBED_LAUNCHER_LAUNCHER_H
