From 79d2ca772615474f18f32e91cf7fa8d53d02e73d Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sun, 8 Dec 2019 18:45:28 +0100
Subject: Added very basic network and PCI driver

---
 src/kernel/syscall/actions/sys_write.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/kernel/syscall/actions/sys_write.c')

diff --git a/src/kernel/syscall/actions/sys_write.c b/src/kernel/syscall/actions/sys_write.c
index e0db9b0..f159335 100644
--- a/src/kernel/syscall/actions/sys_write.c
+++ b/src/kernel/syscall/actions/sys_write.c
@@ -1,4 +1,4 @@
-#include <stdint-gcc.h>
+#include <stdint.h>
 #include <kernel/lib/stdio.h>
 #include <kernel/lib/string.h>
 #include <kernel/io/io.h>
-- 
cgit v1.2.3