Re: [PATCH 4/4] rockchip: Enable HDMI output on rk3399 board w/ HDMI

+#define ROCKCHIP_DEVICE_SETTINGS \

•           "stdin=serial,cros-ec-keyb\0" \
  

This should likely be a usb keyboard and not the CrOS EC keyboard.

•           "stdout=serial,vidconsole\0" \
  

•           "stderr=serial,vidconsole\0"
  

#include <configs/rk3399_common.h>

#if defined(CONFIG_ENV_IS_IN_MMC)

2.18.0.321.gffc6fa0e3