You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
+#include "config.h"
#include "sim-main.h"
#include "sim-io.h"
#include "sim-options.h"
#include "sim-hw.h"
#endif
+#ifdef HAVE_DV_SOCKSER
+/* TODO: Shouldn't have device models here. */
+#include "dv-sockser.h"
+#endif
+
#include "libiberty.h"
/* List of all modules. */
#if WITH_HW
sim_hw_install,
#endif
+#ifdef HAVE_DV_SOCKSER
+ /* TODO: Shouldn't have device models here. */
+ dv_sockser_install,
+#endif
/* Configured in [simulator specific] additional modules. */
#ifdef MODULE_LIST
MODULE_LIST