#define P2_TARGET_MHZ 200

#include "propeller.h"
#include "sys/p2es_clock.h"
#include "stdio.h"
#include "stdint.h"

uint32_t test(uint32_t x, uint32_t y) 
{
return x % y;
}

int main() {
    _clkset(_SETFREQ, _CLOCKFREQ);
    _uart_init(DBG_UART_RX_PIN, DBG_UART_TX_PIN, 115200 * 2, 0);

    printf("Hello World!\n");
	
    uint32_t i;
    i=test(100,50);
    printf("Test = %d\n",i);

    while(1) {
        waitx(CLKFREQ);
    }
}