Set console baud to 1 MHz

src/board/arduino/mega2560/board.mk

@@ -1,9 +1,11 @@
 EC=atmega2560
 
 PORT=$(wildcard /dev/ttyACM*)
+CONSOLE_BAUD=1000000
+CFLAGS+=-D__CONSOLE_BAUD__=$(CONSOLE_BAUD)
 
 console:
-	sudo tio -b 9600 $(PORT)
+	sudo tio -b $(CONSOLE_BAUD) $(PORT)
 
 flash: $(BUILD)/ec.ihx
 	sudo avrdude -v -v -p $(EC) -c wiring -P $(PORT) -b 115200 -D -U flash:w:$<:i

src/board/arduino/mega2560/main.c

@@ -4,7 +4,7 @@
 #include <arch/uart.h>
 
 void init(void) {
-    uart_stdio_init(0, 9600);
+    uart_stdio_init(0, __CONSOLE_BAUD__);
 }
 
 struct Gpio LED = GPIO(B, 7);