1 // See LICENSE for license details.
9 std::string
make_dts(size_t insns_per_rtc_tick
, size_t cpu_hz
,
10 std::vector
<processor_t
*> procs
,
11 std::vector
<std::pair
<reg_t
, mem_t
*>> mems
);
13 std::string
dts_compile(const std::string
& dts
);