From 3659225e203ad559a0f8795564aee5c6f6d673cd Mon Sep 17 00:00:00 2001
From: Pascal Bauer <pascal.bauer@rwth-aachen.de>
Date: Fri, 23 Aug 2024 19:28:38 +0200
Subject: [PATCH] fix broken includes

Signed-off-by: Pascal Bauer <pascal.bauer@rwth-aachen.de>
---
 common/include/villas/kernel/devices/platform_driver.hpp | 1 +
 common/lib/kernel/devices/platform_driver.cpp            | 7 ++++---
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/common/include/villas/kernel/devices/platform_driver.hpp b/common/include/villas/kernel/devices/platform_driver.hpp
index 8a4979f75..0fa4350ff 100644
--- a/common/include/villas/kernel/devices/platform_driver.hpp
+++ b/common/include/villas/kernel/devices/platform_driver.hpp
@@ -9,6 +9,7 @@
 #pragma once
 
 #include <fstream>
+#include <filesystem>
 #include <iostream>
 #include <villas/kernel/devices/driver.hpp>
 
diff --git a/common/lib/kernel/devices/platform_driver.cpp b/common/lib/kernel/devices/platform_driver.cpp
index 467d00bb5..2b03025fe 100644
--- a/common/lib/kernel/devices/platform_driver.cpp
+++ b/common/lib/kernel/devices/platform_driver.cpp
@@ -6,11 +6,12 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
-#include <villas/kernel/devices/platform_device.hpp>
+#include <villas/kernel/devices/platform_driver.hpp>
+
+#include <villas/kernel/devices/device.hpp>
 #include <villas/kernel/devices/utils.hpp>
 
-using villas::kernel::devices::PlatformDevice,
-    villas::kernel::devices::PlatformDriver;
+using villas::kernel::devices::Device, villas::kernel::devices::PlatformDriver;
 using villas::kernel::devices::utils::write_to_file;
 
 std::string PlatformDriver::name() const {