diff --git a/src/arch/arduino-nano-168/Makefile.inc b/src/arch/arduino-nano-168/Makefile.inc
index d89bf6dca7300a2b02d523881daf39738d557491..6ef50c67df8490495630a475dcf331f2bc2421a4 100644
--- a/src/arch/arduino-nano-168/Makefile.inc
+++ b/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
diff --git a/src/arch/arduino-nano/Makefile.inc b/src/arch/arduino-nano/Makefile.inc
index 50109ebba9ea9a74d18c8c8dd454afcb79a40a68..b057680c8f47c75d873cd83804d6e8a67472808f 100644
--- a/src/arch/arduino-nano/Makefile.inc
+++ b/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
diff --git a/src/arch/blinkenrocket/Makefile.inc b/src/arch/blinkenrocket/Makefile.inc
index 277ab33a57da06a0d1e42d37956f9fbee94650b9..b48b9ef876f64b099e80e0c64f0562910d63dbd5 100644
--- a/src/arch/blinkenrocket/Makefile.inc
+++ b/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
diff --git a/src/arch/esp8266/Makefile.inc b/src/arch/esp8266/Makefile.inc
index 6c5506036583b8af62e01eb29214c9b962dd9ce9..f9b6d851e3d54bc1f0bfd40222be3347164ac4f3 100644
--- a/src/arch/esp8266/Makefile.inc
+++ b/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
diff --git a/src/arch/msp430fr5969lp/Makefile.inc b/src/arch/msp430fr5969lp/Makefile.inc
index 89956d6159bc4a38dc8994fe56cf6b87b7b86c1e..ea841306548683f2213f12425fe20829f48fa173 100644
--- a/src/arch/msp430fr5969lp/Makefile.inc
+++ b/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
diff --git a/src/arch/posix/Makefile.inc b/src/arch/posix/Makefile.inc
index 619b385d52330138882944586c329f44e6702602..13000122f9befa8303358626cf303994409a3361 100644
--- a/src/arch/posix/Makefile.inc
+++ b/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