#include <cyg/hal/drv_api.h> // driver API
#include <cyg/hal/hal_misc.h> // Helper functions
#include <cyg/hal/hal_soc.h> // Hardware definitions
#include <cyg/hal/drv_api.h> // driver API
#include <cyg/hal/hal_misc.h> // Helper functions
#include <cyg/hal/hal_soc.h> // Hardware definitions