#include "miosix.h"
This file exists only to avoid adding a couple of ifdef in user code to make it work both with Miosix and within the simulator. When compiling for Miosix it includes miosix.h