Go to the documentation of this file.
54 #ifndef PLATFORM_CONF_H_
55 #define PLATFORM_CONF_H_
57 #include PLATFORM_HEADER
63 #define CC_CONF_REGISTER_ARGS 0
64 #define CC_CONF_FUNCTION_POINTER_ARGS 1
65 #define CC_CONF_VA_ARGS 1
66 #define CC_CONF_INLINE inline
71 typedef unsigned short uip_stats_t;
73 #define UART1_CONF_TX_WITH_INTERRUPT 0
74 #define WITH_SERIAL_LINE_INPUT 1
77 #define RT_CONF_RESOLUTION 2
81 #define UIP_CONF_DS6_AADDR_NBU 1
84 typedef unsigned long clock_time_t;
86 #define CLOCK_CONF_SECOND 1000
88 typedef unsigned long rtimer_clock_t;
90 #define RTIMER_CLOCK_DIFF(a,b) ((signed long)((a)-(b)))
92 #define LEDS_CONF_RED_PIN boardDescription->io->leds[1].gpioPin
93 #define LEDS_CONF_GREEN_PIN boardDescription->io->leds[0].gpioPin
94 #define LEDS_CONF_PORT boardDescription->io->leds[1].gpioPort
96 #define LEDS_CONF_RED (1<<LEDS_CONF_RED_PIN)
97 #define LEDS_CONF_GREEN (1<<LEDS_CONF_GREEN_PIN)
99 #define UIP_ARCH_ADD32 1
100 #define UIP_ARCH_CHKSUM 0
102 #define UIP_CONF_BYTE_ORDER UIP_LITTLE_ENDIAN
103 #define EEPROM_CONF_SIZE 8000