#ifndef ION_DEVICE_BOOT_RT0_H
#define ION_DEVICE_BOOT_RT0_H

void start();
void abort();

#endif