diff --git a/fpga/lib/platform_card.cpp b/fpga/lib/platform_card.cpp
index f2b462f07..b06d942e7 100644
--- a/fpga/lib/platform_card.cpp
+++ b/fpga/lib/platform_card.cpp
@@ -17,8 +17,8 @@
 #include <villas/fpga/node.hpp>
 #include <villas/fpga/platform_card.hpp>
 #include <villas/kernel/devices/device_ip_matcher.hpp>
-#include <villas/kernel/devices/generic_driver.hpp>
 #include <villas/kernel/devices/ip_device_reader.hpp>
+#include <villas/kernel/devices/linux_driver.hpp>
 #include <villas/kernel/kernel.hpp>
 #include <villas/memory_manager.hpp>
 
@@ -50,7 +50,7 @@ void PlatformCard::connectVFIOtoIps(
       matcher.match();
 
   // Bind device to platform driver
-  GenericDriver driver(
+  LinuxDriver driver(
       std::filesystem::path("/sys/bus/platform/drivers/vfio-platform"));
   for (auto pair : device_ip_pair) {
     auto device = pair.second;