add monitor info to help output

src/arch/arduino-nano-168/Makefile.inc

@@ -102,5 +102,6 @@ arch_info:
 	@echo "CPU   Freq: ${cpu_freq} Hz"
 	@echo "Timer Freq: ${timer_freq} Hz"
 	@echo "I2C   Freq: ${i2c_freq} Hz"
+	@echo "Monitor: ${PORT} ${uart_baud}"
 
 .PHONY: arch_clean arch_help arch_info monitor program

src/arch/arduino-nano/Makefile.inc

@@ -102,5 +102,6 @@ arch_info:
 	@echo "CPU   Freq: ${cpu_freq} Hz"
 	@echo "Timer Freq: ${timer_freq} Hz"
 	@echo "I2C   Freq: ${i2c_freq} Hz"
+	@echo "Monitor: ${PORT} ${uart_baud}"
 
 .PHONY: arch_clean arch_help arch_info monitor program

src/arch/blinkenrocket/Makefile.inc

@@ -59,5 +59,6 @@ arch_info:
 	@echo "CPU   Freq: ${cpu_freq} Hz"
 	@echo "Timer Freq: ${timer_freq} Hz"
 	@echo "I2C   Freq: ${i2c_freq} Hz"
+	@echo "Monitor: ${PORT} 115200"
 
 .PHONY: arch_clean arch_help arch_info monitor program

src/arch/esp8266/Makefile.inc

@@ -75,5 +75,6 @@ arch_help:
 	@echo "    - none -"
 
 arch_info:
+	@echo "Monitor: /dev/ttyUSB0 115200"
 
 .PHONY: arch_clean arch_help arch_info monitor program

src/arch/msp430fr5969lp/Makefile.inc

@@ -99,5 +99,6 @@ arch_info:
 	@echo "CPU   Freq: ${cpu_freq} Hz"
 	@echo "Timer Freq: ${timer_freq} Hz -> $(shell src/arch/msp430fr5969lp/model.py f_timer "${cpu_freq}" "${timer_freq}")"
 	@echo "I2C   Freq: ${i2c_freq} Hz"
+	@echo "Monitor: /dev/ttyACM1 115200"
 
 .PHONY: arch_clean arch_help arch_info monitor program

src/arch/posix/Makefile.inc

@@ -12,6 +12,10 @@ endif
 CXX_TARGETS += src/arch/posix/arch.cc src/arch/posix/driver/gpio.cc
 CXX_TARGETS += src/arch/posix/driver/stdout.cc src/arch/posix/driver/uptime.cc
 
+ifneq ($(findstring counter,${arch_drivers}), )
+	CXX_TARGETS += src/arch/posix/driver/counter.cc
+endif
+
 OBJECTS = ${CXX_TARGETS:.cc=.o} ${C_TARGETS:.c=.o}
 
 ifneq (${gpio_trace}, )
@@ -43,5 +47,6 @@ arch_help:
 	@echo "    - none -"
 
 arch_info:
+	@echo "Monitor: run build/system.elf"
 
 .PHONY: arch_clean arch_help arch_info monitor program run