Diff: main.cpp

Revision:

3:17d124d08a01

Parent:

1:64c1fd738059

--- a/main.cpp	Sun Sep 09 19:04:25 2018 +0000
+++ b/main.cpp	Sun Sep 09 16:03:11 2018 -0400
@@ -9,19 +9,12 @@
 
 Thread blinker_thread(osPriorityNormal, 1024, NULL, "Blinker");
 DigitalOut led1(LED1);
-//DigitalOut led1(PB_3_ALT0);
-//DigitalOut led2(PC_12);
-//DigitalOut led3(PE_3);
-//DigitalOut led4(PB_7);
 
 void blink()
 {
 	while (true)
 	{
 		led1 = !led1;
-//		led2 = !led2;
-//		led3 = !led3;
-//		led4 = !led4;
 		Thread::wait(80);
 	}
 }
@@ -64,20 +57,6 @@
 //
 //	va_end(argptr);
 //}
-//extern void test_stepper();
-//extern void testmath();
-//extern void test_em();
-//extern void test_deapply();
-//extern void test_server();
-
-//SDBlockDevice sdb(PA_7, PB_4, PA_5, PC_13);
-//FATFileSystem fs("fs");
-
-char s[128];
-
-Thread test(osPriorityNormal, 16384, NULL, "test");
-
-// Instrumentation
 
 int main()
 {
@@ -90,34 +69,6 @@
 	printf("System initialized.\n");
 
 	blinker_thread.start(blink);
-//	tim.start();
-//	printer_th.start(callback(printer, &mbox));
-//	xprintf("System initialized");
-//
-//	if (fs.mount(&sdb) == 0)
-//	{
-//		FILE *fp = fopen("/fs/Hello.txt", "r");
-//		if (fp == NULL)
-//		{
-//			xprintf("Could not open file for write\n");
-//		}
-//		else
-//		{
-//			fgets(s, 128, fp);
-//			xprintf("%s", s);
-//			fclose(fp);
-//		}
-//
-//	}
-//	else
-//	{
-//		xprintf("FS failed to load SD card.");
-//	}
-
-//	testmath();
-
-//	test_deapply();
-//	test.start(test_server);
 	telescopeHardwareInit();
 	telescopeServerInit();