2015-01-02 13:16:40 +01:00
|
|
|
//#include "mbed.h"
|
|
|
|
#include "MK20D5.h"
|
|
|
|
#include "wait.h"
|
|
|
|
#include "gpio_api.h"
|
|
|
|
#include "PinNames.h"
|
|
|
|
|
|
|
|
|
|
|
|
int main() {
|
|
|
|
gpio_t led;
|
|
|
|
gpio_init_out(&led, PTA19);
|
|
|
|
while(1) {
|
|
|
|
wait_ms(500);
|
2015-01-03 12:21:23 +01:00
|
|
|
uint32_t delay = 0xf;
|
|
|
|
while (delay--) {
|
|
|
|
uint32_t delay2 = 0xffff;
|
|
|
|
while (delay2--) ;
|
|
|
|
}
|
|
|
|
gpio_write(&led, !gpio_read(&led));
|
2015-01-02 13:16:40 +01:00
|
|
|
}
|
|
|
|
}
|