/* SPDX-License-Identifier: GPL-2.0-only */ #include /* * 0x80000000 is this start of RAM. We currently need to load coreboot.rom into * RAM on SPIKE, because SPIKE doesn't support loading custom code into the * boot ROM. */ static const struct mem_region_device boot_dev = MEM_REGION_DEV_RO_INIT(0x80000000, CONFIG_ROM_SIZE); const struct region_device *boot_device_ro(void) { return &boot_dev.rdev; }