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_FASTCALL
66 #define CC_CONF_VA_ARGS 1
67 #define CC_CONF_INLINE inline
72 typedef unsigned short uip_stats_t;
74 #define UART1_CONF_TX_WITH_INTERRUPT 0
75 #define WITH_SERIAL_LINE_INPUT 1
78 #define RT_CONF_RESOLUTION 2
82 #define UIP_CONF_DS6_AADDR_NBU 1
85 typedef unsigned long clock_time_t;
87 #define CLOCK_CONF_SECOND 1000
89 typedef unsigned long rtimer_clock_t;
91 #define RTIMER_CLOCK_LT(a,b) ((signed long)((a)-(b)) < 0)
93 #define LEDS_CONF_RED_PIN boardDescription->io->leds[1].gpioPin
94 #define LEDS_CONF_GREEN_PIN boardDescription->io->leds[0].gpioPin
95 #define LEDS_CONF_PORT boardDescription->io->leds[1].gpioPort
97 #define LEDS_CONF_RED (1<<LEDS_CONF_RED_PIN)
98 #define LEDS_CONF_GREEN (1<<LEDS_CONF_GREEN_PIN)
100 #define UIP_ARCH_ADD32 1
101 #define UIP_ARCH_CHKSUM 0
103 #define UIP_CONF_BYTE_ORDER UIP_LITTLE_ENDIAN
104 #define EEPROM_CONF_SIZE 8000