diff --git a/repos/dde_linux/src/lib/libnl/include/linux/types.h b/repos/dde_linux/src/lib/libnl/include/linux/types.h
index ceeaa161de..205a9cea66 100644
--- a/repos/dde_linux/src/lib/libnl/include/linux/types.h
+++ b/repos/dde_linux/src/lib/libnl/include/linux/types.h
@@ -1,16 +1,16 @@
 #ifndef _LINUX_TYPES_H
 #define _LINUX_TYPES_H
 
-#include <platform/types.h>
+#include <base/fixed_stdint.h>
 
-typedef signed char    __s8;
-typedef unsigned char  __u8;
-typedef signed short   __s16;
-typedef unsigned short __u16;
-typedef signed int     __s32;
-typedef unsigned int   __u32;
-typedef int64_t        __s64;
-typedef uint64_t       __u64;
+typedef genode_int8_t   __s8;
+typedef genode_uint8_t  __u8;
+typedef genode_int16_t  __s16;
+typedef genode_uint16_t __u16;
+typedef genode_int32_t  __s32;
+typedef genode_uint32_t __u32;
+typedef genode_int64_t  __s64;
+typedef genode_uint64_t __u64;
 
 typedef __u16 __be16;
 typedef __u32 __be32;
diff --git a/repos/dde_linux/src/lib/libnl/include/spec/32bit/platform/types.h b/repos/dde_linux/src/lib/libnl/include/spec/32bit/platform/types.h
deleted file mode 100644
index a1a46aba16..0000000000
--- a/repos/dde_linux/src/lib/libnl/include/spec/32bit/platform/types.h
+++ /dev/null
@@ -1,24 +0,0 @@
-/*
- * \brief  Emulation of the Linux userland API
- * \author Josef Soentgen
- * \date   2014-07-25
- *
- * The content of this file, in particular data structures, is partially
- * derived from Linux headers.
- */
-
-/*
- * Copyright (C) 2014-2017 Genode Labs GmbH
- *
- * This file is distributed under the terms of the GNU General Public License
- * version 2.
- */
-
-#ifndef _32BIT__PLATFORM__TYPES_H_
-#define _32BIT__PLATFORM__TYPES_H_
-
-
-typedef long long           int64_t;
-typedef unsigned long long uint64_t;
-
-#endif /* _32BIT__PLATFORM__TYPES_H_ */
diff --git a/repos/dde_linux/src/lib/libnl/include/spec/64bit/platform/types.h b/repos/dde_linux/src/lib/libnl/include/spec/64bit/platform/types.h
deleted file mode 100644
index fa956526cb..0000000000
--- a/repos/dde_linux/src/lib/libnl/include/spec/64bit/platform/types.h
+++ /dev/null
@@ -1,24 +0,0 @@
-/*
- * \brief  Emulation of the Linux userland API
- * \author Josef Soentgen
- * \date   2014-07-25
- *
- * The content of this file, in particular data structures, is partially
- * derived from Linux headers.
- */
-
-/*
- * Copyright (C) 2014-2017 Genode Labs GmbH
- *
- * This file is distributed under the terms of the GNU General Public License
- * version 2.
- */
-
-#ifndef _64BIT__PLATFORM__TYPES_H_
-#define _64BIT__PLATFORM__TYPES_H_
-
-
-typedef long           int64_t;
-typedef unsigned long uint64_t;
-
-#endif /* _64BIT__PLATFORM__TYPES_H_ */