#ifndef ION_DEVICE_BOOT_RT0_H
  #define ION_DEVICE_BOOT_RT0_H
  
  void start();
  void abort();
  
  #endif