diff options
Diffstat (limited to 'src/mainboard/emulation/spike-riscv/mainboard.c')
| -rw-r--r-- | src/mainboard/emulation/spike-riscv/mainboard.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/mainboard/emulation/spike-riscv/mainboard.c b/src/mainboard/emulation/spike-riscv/mainboard.c index df2bdd68d6..eff95c0933 100644 --- a/src/mainboard/emulation/spike-riscv/mainboard.c +++ b/src/mainboard/emulation/spike-riscv/mainboard.c @@ -28,8 +28,7 @@ static void mainboard_enable(device_t dev) const size_t ram_size = 1*GiB; if (!dev) { - printk(BIOS_EMERG, "No dev0; die\n"); - while (1); + die("No dev0; die\n"); } ram_resource(dev, 0, 0x80000000/KiB, ram_size/KiB); |