diff --git a/monitor/monitor_ppsi.c b/monitor/monitor_ppsi.c
index 743a93b9fb7db09b4eb5115163d0af7fcd6576f3..70349b49cddf4d2a38622a176eed42f0499ad157 100644
--- a/monitor/monitor_ppsi.c
+++ b/monitor/monitor_ppsi.c
@@ -19,6 +19,7 @@
 #include <onewire.h>
 #include <util.h>
 #include "wrc_ptp.h"
+#include "lib/ipv4.h"
 
 #define UI_REFRESH_PERIOD TICS_PER_SECOND	/* 1 sec */
 
@@ -34,6 +35,9 @@ void wrc_mon_gui(void)
 	int aux_stat;
 	uint64_t sec;
 	uint32_t nsec;
+#ifdef CONFIG_ETHERBONE
+	uint8_t ip[4];
+#endif
 
 	if (timer_get_tics() - last < UI_REFRESH_PERIOD)
 		return;
@@ -84,6 +88,14 @@ void wrc_mon_gui(void)
 			cprintf(C_GREEN, "Calibrated  ");
 		else
 			cprintf(C_RED, "Uncalibrated  ");
+#ifdef CONFIG_ETHERBONE
+		cprintf(C_WHITE, "\nIPv4: ");
+		getIP(ip);
+		if (needIP)
+			cprintf(C_RED, "BOOTP running");
+		else
+			cprintf(C_GREEN, "%d.%d.%d.%d", ip[0], ip[1], ip[2], ip[3]);
+#endif		
 
 		/* show_servo */
 		cprintf(C_BLUE, "\n\nSynchronization status:\n\n");