// -----------------------------------------------------------------------------
/// @file  freeRTOSFixes.h
/// @brief File description
// -----------------------------------------------------------------------------
//  Micro-Key bv
//  Industrieweg 28, 9804 TG Noordhorn
//  Postbus 92, 9800 AB Zuidhorn
//  The Netherlands
//  Tel: +31 594 503020
//  Fax: +31 594 505825
//  Email: support@microkey.nl
//  Web: www.microkey.nl
// -----------------------------------------------------------------------------
/// $Revision$
/// $Author$
/// $Date$
//  (c) 2017 Micro-Key bv
// -----------------------------------------------------------------------------

/**
 * FreeRTOSFixes implementation
 * \defgroup FreeRTOSFixes Package FreeRTOSFixes
 * \ingroup hsb-mrts
 * @{
 */

#ifndef FREERTOSFIXES_H_
#define FREERTOSFIXES_H_


// -----------------------------------------------------------------------------
// Include files 
// -----------------------------------------------------------------------------

#include "FreeRTOS.h"
#include "task.h"

// -----------------------------------------------------------------------------
// Constant and macro definitions 
// -----------------------------------------------------------------------------



// -----------------------------------------------------------------------------
// Type definitions. 
// -----------------------------------------------------------------------------



// -----------------------------------------------------------------------------
// Function declarations 
// -----------------------------------------------------------------------------


void OS_logTaskInfo(xTaskHandle taskHandle);

#endif /* FREERTOSFIXES_H_ */

/** @} */