diff --git a/common/include/villas/kernel/devices/platform_device.hpp b/common/include/villas/kernel/devices/platform_device.hpp
index c6378eeb2..15e74cb53 100644
--- a/common/include/villas/kernel/devices/platform_device.hpp
+++ b/common/include/villas/kernel/devices/platform_device.hpp
@@ -11,7 +11,6 @@
 #include <filesystem>
 #include <villas/kernel/devices/device.hpp>
 #include <villas/kernel/devices/driver.hpp>
-#include <villas/kernel/devices/utils.hpp>
 
 namespace villas {
 namespace kernel {
diff --git a/common/include/villas/kernel/devices/utils.hpp b/common/include/villas/kernel/devices/utils.hpp
deleted file mode 100644
index 9d4984892..000000000
--- a/common/include/villas/kernel/devices/utils.hpp
+++ /dev/null
@@ -1,26 +0,0 @@
-/* Utils
- *
- * Author: Pascal Bauer <pascal.bauer@rwth-aachen.de>
- *
- * SPDX-FileCopyrightText: 2023-2024 Pascal Bauer <pascal.bauer@rwth-aachen.de>
- * SPDX-License-Identifier: Apache-2.0
- */
-
-#pragma once
-
-#include <filesystem>
-#include <string>
-#include <vector>
-
-namespace villas {
-namespace kernel {
-namespace devices {
-namespace utils {
-
-void write_to_file(std::string data, const std::filesystem::path file);
-std::vector<std::string> read_names_in_directory(const std::string &name);
-
-} // namespace utils
-} // namespace devices
-} // namespace kernel
-} // namespace villas