Starting support for Lauterbach T32 HW Debugger

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1740 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

src/core/sal/t32/T32Config.hpp

@@ -0,0 +1,20 @@
+/**
+ * \brief Type definitions and configuration settings for the
+ * T32 target backend.
+ */
+
+#ifndef __T32_CONFIG_HPP__
+#define __T32_CONFIG_HPP__
+
+struct T32Timer;
+
+namespace fail {
+
+typedef uint32_t guest_address_t; //!< the guest memory address type
+typedef unsigned char* host_address_t;  //!< the host memory address type
+typedef uint32_t register_data_t; //!< register data type (64 bit)
+typedef T32Timer* timer_t;         //!< type of timer IDs
+
+} // end-of-namespace: fail
+
+#endif // __T32_CONFIG_HPP__