34d33
< #include "sim/builder.hh"
82,85d80
<
<
< DEFINE_SIM_OBJECT_CLASS_NAME("Platform", Platform)
<