sw/device/lib/arch/device_sim_verilator.c

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

#include "sw/device/lib/arch/device.h"

/**
 * Device-specific symbol definitions for the Verilator device.
 */

const device_type_t kDeviceType = kDeviceSimVerilator;

const uint64_t kClockFreqHz = 500 * 1000;  // 500kHz

const uint64_t kUartBaudrate = 9600;