Alex Richardson c98013c0b1 RISC-V: Check that the DTB doesn't overlap with kernel ... This can happen with very large kernels (e.g. ones embedding a root filesystem). The DTB written by OpenSBI/BBL is quite small so this is unlikely to hit important data, but if it does this can result in very confusing and hard-to-debug crashes. Add a KASSERT() and a verbose print to catch this problem with debug kernels. While this will not print any output by default if it fails (that would depend on EARLY_PRINTF), at least the kernel now halts reliably instead of randomly crashing. Reviewed By: mhorne Differential Revision: https://reviews.freebsd.org/D25153		2020-06-08 08:52:02 +00:00
..
conf	Retire the GENERICSF kernel config.	2020-04-27 21:51:22 +00:00
include	RISC-V: Check that the DTB doesn't overlap with kernel	2020-06-08 08:52:02 +00:00
riscv	RISC-V: Check that the DTB doesn't overlap with kernel	2020-06-08 08:52:02 +00:00
sifive	riscv/sifive: add FE310 Always-on driver	2020-04-02 00:33:15 +00:00