1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright (C) 2016 Rockchip Electronics Co., Ltd 4 * Copyright (C) 2020 Peter Robinson <pbrobinson at gmail.com> 5 */ 6 7#ifndef __PINEBOOK_PRO_RK3399_H 8#define __PINEBOOK_PRO_RK3399_H 9 10#define ROCKCHIP_DEVICE_SETTINGS \ 11 "stdin=serial,usbkbd\0" \ 12 "stdout=serial,vidconsole\0" \ 13 "stderr=serial,vidconsole\0" 14 15#include <configs/rk3399_common.h> 16 17#if defined(CONFIG_ENV_IS_IN_MMC) 18#define CONFIG_SYS_MMC_ENV_DEV 0 19#elif defined(CONFIG_ENV_IS_IN_SPI_FLASH) 20#define CONFIG_ENV_SECT_SIZE (8 * 1024) 21#endif 22 23#undef CONFIG_SYS_SPI_U_BOOT_OFFS 24#define CONFIG_SYS_SPI_U_BOOT_OFFS 1024 * 512 25 26#define SDRAM_BANK_SIZE (2UL << 30) 27 28#endif 29