From 6b8099b6af5ec7800bf8cd277e813f26c24e0cb9 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias <rodrigo.arias@bsc.es>
Date: Wed, 8 Mar 2023 17:00:29 +0100
Subject: [PATCH] Make the emulator extensible

---
 src/emu/emu.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/emu/emu.h b/src/emu/emu.h
index ba3ec1b..47ee13b 100644
--- a/src/emu/emu.h
+++ b/src/emu/emu.h
@@ -8,6 +8,7 @@
 #include "common.h"
 #include "emu_args.h"
 #include "emu_stat.h"
+#include "extend.h"
 #include "model.h"
 #include "player.h"
 #include "recorder.h"
@@ -33,6 +34,8 @@ struct emu {
 	struct thread *thread;
 	struct proc *proc;
 	struct loom *loom;
+
+	struct extend ext;
 };
 
 USE_RET int emu_init(struct emu *emu, int argc, char *argv[]);