path: root/riscv/riscv_all.sail

$include "prelude.sail"
$include "riscv_types.sail"
$include "riscv_sys.sail"
$include "riscv.sail"
$include "main.sail"