| /* SPDX-License-Identifier: GPL-2.0+ */ |
| * Common header file for U-Boot |
| * This file still includes quite a few headers that should be included |
| * individually as needed. Patches to remove things are welcome. |
| * (C) Copyright 2000-2009 |
| * Wolfgang Denk, DENX Software Engineering, wd@denx.de. |
| #ifndef __ASSEMBLY__ /* put C only stuff in this section */ |
| #include <linux/printk.h> |
| #include <linux/string.h> |
| #include <linux/kernel.h> |
| #include <asm/u-boot.h> /* boot information for Linux kernel */ |
| #include <display_options.h> |
| #endif /* __ASSEMBLY__ */ |
| /* Pull in stuff for the build system */ |
| # include <env_internal.h> |