/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright (c) 2017 Tuomas Tynkkynen
 */

#ifndef __CONFIG_H
#define __CONFIG_H

/* Physical memory map */
#define CFG_SYS_SDRAM_BASE		0x40000000

/* For timer, QEMU emulates an ARMv7/ARMv8 architected timer */

#endif /* __CONFIG_H */
