From 677404534e4403de43887cc70934ed0c5234e765 Mon Sep 17 00:00:00 2001
From: Pascal Bauer <pascal.bauer@rwth-aachen.de>
Date: Mon, 21 Oct 2024 18:12:20 +0200
Subject: [PATCH] apply refactor

---
 fpga/lib/platform_card.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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;