/******************************************************/
/* Copyright (C) 2008 Arch Rock Corporation           */
/* License Agreement: refer to LICENSE.txt            */
/*                                                    */
/******************************************************/
#ifndef __PLATFORM_H
#define __PLATFORM_H  1

#include <inttypes.h>
#include <stdlib.h>

enum InterruptTypesEnum
{
  /*! CPU WatchDog Notification.  Bind callback handler to kernel when started.
   *  Handler will be fired whenver Kernel's watchdog timer fires. 
   */
  WATCHDOGTIMER,
  /*! CPU Sleep Notification.  Bind callback handler to kernel when started.
   *  Handler will be fired before CPU goes to sleep.
   */
  CPUSLEEP,
  ASYNC_COUNT,
};
#endif
