diff --git a/.github/workflows/kmod-pagefault-tests.yml b/.github/workflows/kmod-pagefault-tests.yml
index 743d282d..8efc4c75 100644
--- a/.github/workflows/kmod-pagefault-tests.yml
+++ b/.github/workflows/kmod-pagefault-tests.yml
@@ -48,11 +48,6 @@ jobs:
         run: sudo make unload
         shell: bash
 
-      - name: Run Userspace Test
-        working-directory: kmod/pagefault
-        run: make tests-userspace
-        shell: bash
-
       - name: Build Module with Benchmarking
         working-directory: kmod/pagefault
         run: BENCHMARK=true make module
diff --git a/kmod/pagefault/tests/Makefile b/kmod/pagefault/tests/Makefile
index ff50a705..38d183e9 100644
--- a/kmod/pagefault/tests/Makefile
+++ b/kmod/pagefault/tests/Makefile
@@ -47,14 +47,6 @@ page_fault_ioctl_error: page_fault_ioctl_error.out
 	sudo sysctl -w vm.max_map_count=8388608
 	sudo ./page_fault_ioctl_error.out
 
-.PHONY: page_fault_userspace
-page_fault_userspace:
-	sudo sysctl -w vm.max_map_count=8388608
-	gcc ${CFLAGS} page_fault/page_fault_userspace.c -I../ -o page_fault_userspace.out
-	sudo ./page_fault_userspace.out
-
-userspace: page_fault_userspace
-
 .PHONY: generate
 generate:
 	go run generate.go