forked from Minki/linux
2d2682512f
Some systems don't provide a useful device tree to the kernel on boot. Chasing around bootloaders for these systems is a headache, so instead le't's just keep a device tree table in the kernel, keyed by the SOC's unique identifier, that contains the relevant DTB. This is only implemented for M mode right now. While we could implement this via the SBI calls that allow access to these identifiers, we don't have any systems that need this right now. Signed-off-by: Palmer Dabbelt <palmerdabbelt@google.com>
5 lines
106 B
Makefile
5 lines
106 B
Makefile
# SPDX-License-Identifier: GPL-2.0-only
|
|
|
|
obj-y += kernel/ mm/ net/
|
|
obj-$(CONFIG_BUILTIN_DTB) += boot/dts/
|