diff --git a/common/lib/CMakeLists.txt b/common/lib/CMakeLists.txt
index bd2f74635..3aabe90ae 100644
--- a/common/lib/CMakeLists.txt
+++ b/common/lib/CMakeLists.txt
@@ -15,12 +15,6 @@ add_library(villas-common SHARED
     cpuset.cpp
     dsp/pid.cpp
     hist.cpp
-    
-    kernel/devices/generic_driver.cpp
-    kernel/devices/ip_device.cpp
-    kernel/devices/platform_device.cpp
-    kernel/devices/utils.cpp
-
     kernel/kernel.cpp
     kernel/rt.cpp
     list.cpp
@@ -45,10 +39,11 @@ endif()
 
 if(CMAKE_SYSTEM_NAME STREQUAL Linux)
     target_sources(villas-common PRIVATE
+        kernel/devices/generic_driver.cpp
         kernel/devices/ip_device.cpp
-        kernel/devices/linux_driver.cpp
         kernel/devices/pci_device.cpp
         kernel/devices/platform_device.cpp
+        kernel/devices/utils.cpp
         kernel/vfio_device.cpp
         kernel/vfio_group.cpp
         kernel/vfio_container.cpp