src/mainboard/emulation/spike-riscv/mainboard.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <console/console.h>
   4 #include <device/device.h>
   5
   6 static void mainboard_enable(struct device *dev)
   7 {
   8         /*
   9          * Size of the emulated system RAM. On hardware, this would be external
  10          * DDR memory.
  11          *
  12          * TODO: Get this size from the hardware-supplied configuration string.
  13          */
  14         const size_t ram_size = 1*GiB;
  15
  16         if (!dev) {
  17                 die("No dev0; die\n");
  18         }
  19
  20         ram_range(dev, 0, 0x80000000, ram_size);
  21 }
  22
  23 struct chip_operations mainboard_ops = {
  24         .enable_dev = mainboard_enable,
  25 };