Index: kernel/arch/abs32le/include/asm.h
===================================================================
--- kernel/arch/abs32le/include/asm.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/asm.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,4 @@
 #define KERN_abs32le_ASM_H_
 
-#include <arch/types.h>
 #include <typedefs.h>
 #include <config.h>
Index: kernel/arch/abs32le/include/atomic.h
===================================================================
--- kernel/arch/abs32le/include/atomic.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/atomic.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,5 @@
 #define KERN_abs32le_ATOMIC_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <arch/barrier.h>
 #include <preemption.h>
Index: kernel/arch/abs32le/include/faddr.h
===================================================================
--- kernel/arch/abs32le/include/faddr.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/faddr.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,5 @@
 #define KERN_abs32le_FADDR_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #define FADDR(fptr)  ((uintptr_t) (fptr))
Index: kernel/arch/abs32le/include/fpu_context.h
===================================================================
--- kernel/arch/abs32le/include/fpu_context.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/fpu_context.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,5 @@
 #define KERN_abs32le_FPU_CONTEXT_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #define FPU_CONTEXT_ALIGN  16
Index: kernel/arch/abs32le/include/interrupt.h
===================================================================
--- kernel/arch/abs32le/include/interrupt.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/interrupt.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,5 @@
 #define KERN_abs32le_INTERRUPT_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 #define IVT_ITEMS  0
Index: kernel/arch/abs32le/include/mm/asid.h
===================================================================
--- kernel/arch/abs32le/include/mm/asid.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/mm/asid.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -34,5 +34,5 @@
 #define KERN_abs32le_ASID_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef uint32_t asid_t;
Index: kernel/arch/abs32le/include/mm/frame.h
===================================================================
--- kernel/arch/abs32le/include/mm/frame.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/mm/frame.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -41,5 +41,5 @@
 #ifdef KERNEL
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 extern void frame_arch_init(void);
Index: kernel/arch/abs32le/include/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/mm/page.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/mm/page.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -119,5 +119,4 @@
 #include <mm/mm.h>
 #include <arch/interrupt.h>
-#include <arch/types.h>
 #include <typedefs.h>
 
Index: kernel/arch/abs32le/include/proc/task.h
===================================================================
--- kernel/arch/abs32le/include/proc/task.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/proc/task.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,5 @@
 #define KERN_abs32le_TASK_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 #include <adt/bitmap.h>
 
Index: kernel/arch/abs32le/include/proc/thread.h
===================================================================
--- kernel/arch/abs32le/include/proc/thread.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/proc/thread.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -36,5 +36,5 @@
 #define KERN_abs32le_THREAD_H_
 
-#include <arch/types.h>
+#include <typedefs.h>
 
 typedef struct {
Index: kernel/arch/abs32le/include/types.h
===================================================================
--- kernel/arch/abs32le/include/types.h	(revision b03a6661abd7275f3449da5ceb08f6e13194c4f3)
+++ kernel/arch/abs32le/include/types.h	(revision 626f9079bcffdfbce27d2e92f138ae9ce8e4c650)
@@ -35,14 +35,4 @@
 #ifndef KERN_abs32le_TYPES_H_
 #define KERN_abs32le_TYPES_H_
-
-typedef signed char int8_t;
-typedef signed short int16_t;
-typedef signed long int32_t;
-typedef signed long long int64_t;
-
-typedef unsigned char uint8_t;
-typedef unsigned short uint16_t;
-typedef unsigned long uint32_t;
-typedef unsigned long long uint64_t;
 
 typedef uint32_t size_t;