#include <os.h>
#include <serial.h>
#include <stdio_dev.h>
+#include <watchdog.h>
#include <dm/lists.h>
#include <dm/device-internal.h>
+#include <ns16550.h>
+
DECLARE_GLOBAL_DATA_PTR;
/* The currently-selected console serial device */
do {
err = ops->getc(dev);
+ if (err == -EAGAIN)
+ WATCHDOG_RESET();
} while (err == -EAGAIN);
return err >= 0 ? err : 0;