diff -r 000000000000 -r 50cbed80af1a IOCDOSEApp/src/devTimestampWorkaround.dbd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/IOCDOSEApp/src/devTimestampWorkaround.dbd	Wed Jun 05 14:34:28 2013 +0200
@@ -0,0 +1,1 @@
+device(stringin,INST_IO,devSiTimestampWorkaround,"Soft Timestamp WA")