3 typedef unsigned int uint32_t;
6 /* hardware configuration */
8 #define CONFIG_STM32L_DISCOVERY 1
9 #define CONFIG_STM32VL_DISCOVERY 0
12 #if CONFIG_STM32VL_DISCOVERY
14 # define GPIOC 0x40011000 /* port C */
15 # define GPIOC_CRH (GPIOC + 0x04) /* port configuration register high */
16 # define GPIOC_ODR (GPIOC + 0x0c) /* port output data register */
18 # define LED_BLUE (1 << 8) /* port C, pin 8 */
19 # define LED_GREEN (1 << 9) /* port C, pin 9 */
21 static inline void setup_leds(void)
23 *(volatile uint32_t*)GPIOC_CRH = 0x44444411;
26 static inline void switch_leds_on(void)
28 *(volatile uint32_t*)GPIOC_ODR = LED_BLUE | LED_GREEN;
31 static inline void switch_leds_off(void)
33 *(volatile uint32_t*)GPIOC_ODR = 0;
36 #elif CONFIG_STM32L_DISCOVERY
38 # define GPIOB 0x40020400 /* port B */
39 # define GPIOB_MODER (GPIOB + 0x00) /* port mode register */
40 # define GPIOB_ODR (GPIOB + 0x14) /* port output data register */
42 # define LED_BLUE (1 << 6) /* port B, pin 6 */
43 # define LED_GREEN (1 << 7) /* port B, pin 7 */
45 static inline void setup_leds(void)
47 /* configure port 6 and 7 as output */
48 *(volatile uint32_t*)GPIOB_MODER |= (1 << (7 * 2)) | (1 << (6 * 2));
51 static inline void switch_leds_on(void)
53 *(volatile uint32_t*)GPIOB_ODR = LED_BLUE | LED_GREEN;
56 static inline void switch_leds_off(void)
58 *(volatile uint32_t*)GPIOB_ODR = 0;
61 #endif /* otherwise, error */
66 register unsigned int i; \
67 for (i = 0; i < 1000000; ++i) \
68 __asm__ __volatile__ ("nop\n\t":::"memory"); \
71 static void __attribute__((naked)) __attribute__((used)) main(void)