src/mainboard/google/veyron_mickey/devicetree.cb

## SPDX-License-Identifier: GPL-2.0-only

chip soc/rockchip/rk3288
	device cpu_cluster 0 on end
	register "vop_id" = "1"
	register "vop_mode" = "VOP_MODE_HDMI"
	register "framebuffer_bits_per_pixel" = "16"
end