kernel: removing duplicated headers for k1om
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 18 Jun 2015 16:37:20 +0000 (18:37 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Fri, 19 Jun 2015 10:09:30 +0000 (12:09 +0200)
commita8c57168780d7be47634afb05111f14bbf34435f
tree5453be00ad0aa5a6221c8648a8de5b086912f776
parent25de9edab63cbec7508c60f86e7099184c1faca3
kernel: removing duplicated headers for k1om

merging the k1om and x86_64 headers in the kernel.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
kernel/include/arch/k1om/arch_gdb_stub.h [deleted file]
kernel/include/arch/k1om/cpuid_spaces.h [deleted file]
kernel/include/arch/k1om/fpu.h [deleted file]
kernel/include/arch/k1om/init.h
kernel/include/arch/k1om/irq.h [deleted file]
kernel/include/arch/k1om/kernel_multiboot.h [deleted file]
kernel/include/arch/k1om/misc.h [deleted file]
kernel/include/arch/k1om/paging_kernel_arch.h [deleted file]
kernel/include/arch/k1om/vmkit.h [deleted file]