#include <configs/qemu-riscv64_smode_defconfig>
#include <board/emulation/configs/acpi.config>
