From 0e29829fa5cdb3896e2f9513ee0dcdae38fcabeb Mon Sep 17 00:00:00 2001
From: Leonardo Carreras <leonardo.carreras@eonerc.rwth-aachen.de>
Date: Mon, 3 Feb 2025 17:16:36 +0000
Subject: [PATCH] Fix missing villas kernel header in TSC

Signed-off-by: Leonardo Carreras <leonardo.carreras@eonerc.rwth-aachen.de>
---
 common/lib/tsc.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common/lib/tsc.cpp b/common/lib/tsc.cpp
index b097652d2..587094462 100644
--- a/common/lib/tsc.cpp
+++ b/common/lib/tsc.cpp
@@ -5,8 +5,11 @@
  * SPDX-License-Identifier: Apache-2.0
  */
 
+#include <villas/kernel/kernel.hpp>
 #include <villas/tsc.hpp>
 
+using namespace villas;
+
 int tsc_init(struct Tsc *t) {
 #if defined(__x86_64__) || defined(__i386__)
   uint32_t eax = 0, ebx = 0, ecx = 0, edx = 0;