diff --git a/CMakeLists.txt b/CMakeLists.txt
index 290df25..1964501 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -14,7 +14,7 @@
 
 cmake_minimum_required(VERSION 3.12.0)
 
-project(sel4runtime C)
+project(sel4runtime C ASM)
 
 set(configure_string "")
 config_string(
@@ -95,7 +95,7 @@
 if(("${KernelSel4Arch}" STREQUAL "aarch32") OR ("${KernelSel4Arch}" STREQUAL "arm_hyp"))
     list(
         APPEND
-            sources src/sel4_arch/${KernelSel4Arch}/__aeabi_read_tp.s
+            sources src/sel4_arch/${KernelSel4Arch}/__aeabi_read_tp.S
             src/sel4_arch/${KernelSel4Arch}/__aeabi_read_tp_c.c
     )
 endif()
diff --git a/src/sel4_arch/aarch32/__aeabi_read_tp.s b/src/sel4_arch/aarch32/__aeabi_read_tp.S
similarity index 100%
rename from src/sel4_arch/aarch32/__aeabi_read_tp.s
rename to src/sel4_arch/aarch32/__aeabi_read_tp.S