/* SPDX-License-Identifier: GPL-2.0+ */
/*
 * Copyright (c) 2017 Intel Corp.
 */

#ifndef __CONFIG_H
#define __CONFIG_H

#include <asm/ibmpc.h>

/* Miscellaneous configurable options */

#define CFG_SYS_STACK_SIZE			(32 * 1024)

#endif