/*
 * Copyright (c) 2019 Lexmark International, Inc.
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 */

#ifndef _BOARD__H_
#define _BOARD__H_

#include <misc/util.h>

#ifndef _ASMLANGUAGE

#include <device.h>
#include <misc/util.h>

#endif /* !_ASMLANGUAGE */

#endif /* _BOARD__H_ */