From 293430fcb5d4013b573556c58457ee706e482b7f Mon Sep 17 00:00:00 2001
From: Joshua Bakita <bakitajoshua@gmail.com>
Date: Mon, 5 May 2025 03:53:01 -0400
Subject: Snapshot for ECRTS'25 artifact evaluation

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fea3819..9d6d374 100644
--- a/Makefile
+++ b/Makefile
@@ -8,3 +8,6 @@ all:
 	make -C /lib/modules/$(shell uname -r)/build M=$(PWD) modules
 clean:
 	make -C /lib/modules/$(shell uname -r)/build M=$(PWD) clean
+
+nvdebug_user.so: runlist.c mmu.c bus.c nvdebug_user.c
+	gcc $< -shared -o $@ $(KBULID_CFLAGS)
-- 
cgit v1.2.2