#include <lcd.h>
#include <os.h>
#include <serial.h>
+#include <video.h>
#include <linux/compiler.h>
#include <asm/state.h>
/*
*
* serial_buf: A buffer that holds keyboard characters for the
- * Sandbox U-boot.
+ * Sandbox U-Boot.
*
* invariants:
* serial_buf_write == serial_buf_read -> empty buffer
return 0;
os_usleep(100);
-#ifdef CONFIG_LCD
- lcd_sync();
+#ifndef CONFIG_SPL_BUILD
+ video_sync_all();
#endif
if (next_index == serial_buf_read)
return 1; /* buffer full */