diff --git a/src/fsfw_hal/linux/serial/helper.cpp b/src/fsfw_hal/linux/serial/helper.cpp
index af170757..3a0dbb7a 100644
--- a/src/fsfw_hal/linux/serial/helper.cpp
+++ b/src/fsfw_hal/linux/serial/helper.cpp
@@ -1,5 +1,9 @@
 #include <fsfw_hal/linux/serial/helper.h>
 #include <sys/ioctl.h>
+#include <termios.h>
+
+#include "FSFWConfig.h"
+#include "fsfw/serviceinterface.h"
 
 void serial::setMode(struct termios& options, UartModes mode) {
   if (mode == UartModes::NON_CANONICAL) {
@@ -106,7 +110,7 @@ void serial::setBaudrate(struct termios& options, UartBaudRate baud) {
 #endif  // ! __APPLE__
     default:
 #if FSFW_CPP_OSTREAM_ENABLED == 1
-      sif::warning << "UartComIF::configureBaudrate: Baudrate not supported" << std::endl;
+      sif::warning << "serial::configureBaudrate: Baudrate not supported" << std::endl;
 #endif
       break;
   }
@@ -161,6 +165,7 @@ void serial::setStopbits(struct termios& options, StopBits bits) {
 
 void serial::flushRxBuf(int fd) { tcflush(fd, TCIFLUSH); }
 
+void serial::flushTxBuf(int fd) { tcflush(fd, TCOFLUSH); }
+
 void serial::flushTxRxBuf(int fd) { tcflush(fd, TCIOFLUSH); }
 
-void serial::flushTxBuf(int fd) { tcflush(fd, TCOFLUSH); }