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

+define+TRACE_EXECUTION
+define+RVFI
+define+UVM
