/*
 * This is a simple program to test multi-core microblaze SoC
 */

#include <stdio.h>
#include "xparameters.h"
#include "xil_cache.h"

void print(char *str);
void enable_caches()
{
#ifdef XPAR_MICROBLAZE_USE_ICACHE
    Xil_ICacheEnable();
#endif
#ifdef XPAR_MICROBLAZE_USE_DCACHE
    Xil_DCacheEnable();
#endif
}

void disable_caches()
{
    Xil_DCacheDisable();
    Xil_ICacheDisable();
}

int main()
{
    enable_caches();

    print("Core 0: Hello World!\n\r");

    disable_caches();

    return 0;
}
