//P2C Generated Platform.h file
#ifndef _PLATFORM_H_
#define _PLATFORM_H_

enum { _clkfreq = 300'000'000 };

enum {
    DOWNLOAD_BAUD = 230_400,
    DEBUG_BAUD = DOWNLOAD_BAUD,

    HEAPSIZE = 4400,

    SD_BASE_PIN = 0,//16,
    PIN_DAT = SD_BASE_PIN | 3 << 6,
    PIN_DAT0 = SD_BASE_PIN + 0,    // MISO
    PIN_DAT1 = SD_BASE_PIN + 1,
    PIN_DAT2 = SD_BASE_PIN + 2,
    PIN_DAT3 = SD_BASE_PIN + 3,    // CS
    PIN_CMD = SD_BASE_PIN + 4,    // MOSI
    PIN_CLK = SD_BASE_PIN + 5,    // SCLK
    PIN_RED = SD_BASE_PIN + 6,  // output to red LED, used as CMD response shifter
    PIN_CD = SD_BASE_PIN + 7,  // Card-Detect input, and power switch, and green LED

    CLK_DIV = 10,
};

#include "propeller2.h"
#include "stdio.h"
#include "stdlib.h"
#include "stdint.h"
#include "stdbool.h"

#include <stdint.h>
#include <stdio.h>
#include <math.h>
#include <sys/time.h>
#include <errno.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <dirent.h>

#define VGA_BASEPIN 8

#endif /*_PLATFORM_H_*/
/* Nothing beyond this*/