diff --git a/base/include/base/cpu_state.h b/base/include/base/cpu_state.h
deleted file mode 100644
index 32f8e2a9e..000000000
--- a/base/include/base/cpu_state.h
+++ /dev/null
@@ -1,35 +0,0 @@
-/*
- * \brief  CPU state
- * \author Christian Prochaska
- * \date   2011-04-15
- *
- * This file contains the generic part of the CPU state.
- */
-
-/*
- * Copyright (C) 2011-2012 Genode Labs GmbH
- *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU General Public License version 2.
- */
-
-#ifndef _INCLUDE__BASE__CPU_STATE_H_
-#define _INCLUDE__BASE__CPU_STATE_H_
-
-#include <base/stdint.h>
-
-namespace Genode {
-
-	struct Cpu_state
-	{
-		addr_t ip;   /* instruction pointer */
-		addr_t sp;   /* stack pointer       */
-
-		/**
-		 * Constructor
-		 */
-		Cpu_state(): ip(0), sp(0) { }
-	};
-}
-
-#endif /* _INCLUDE__BASE__CPU_STATE_H_ */
diff --git a/base/include/base/thread_state.h b/base/include/base/thread_state.h
index 59f9dcb13..aff7b6159 100644
--- a/base/include/base/thread_state.h
+++ b/base/include/base/thread_state.h
@@ -16,7 +16,7 @@
 #ifndef _INCLUDE__BASE__THREAD_STATE_H_
 #define _INCLUDE__BASE__THREAD_STATE_H_
 
-#include <base/cpu_state.h>
+#include <cpu/cpu_state.h>
 
 namespace Genode {