MODULE MobxSTM32F407VGBlink;

   IMPORT SYSTEM,  ARMv7M := MicroARMv7M,
      MCU := MicroSTM32F405,
      Sys := MicroSTM32F405System,
      SysTick0 := MobxARMv7MSTM32SysTick0,
      Pins := MicroSTM32F4Pins;
   
   PROCEDURE Init;
   BEGIN
      Pins.Configure(Pins.D, 12, Pins.output, Pins.pushPull, Pins.medium, Pins.noPull, Pins.AF0);
      SysTick0.Init(Sys.HCLK, 1000)
   END Init;
   
   PROCEDURE Loop;
   VAR ms: INTEGER; x: SET;
   BEGIN
      ms := 0;
      REPEAT
         IF SysTick0.OnTimer() THEN
            IF ms = 999 THEN ms := 0 ELSE INC(ms) END;
            IF ms = 0 THEN
               SYSTEM.GET(MCU.GPIODBSRR, x);
               SYSTEM.PUT(MCU.GPIODBSRR, x + {12+16})
            ELSIF ms = 500 THEN
               SYSTEM.GET(MCU.GPIODBSRR, x);
               SYSTEM.PUT(MCU.GPIODBSRR, x + {12})
            END
         END;
         ARMv7M.WFI
      UNTIL FALSE
   END Loop;
   
BEGIN
   Init;
   Loop
END MobxSTM32F407VGBlink.