(Fail)Bochs bug documented in more detail: TimerListener cannot be added at boot time.

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

src/core/sal/bochs/BochsController.hpp

@@ -79,6 +79,8 @@ public:
 	 *        is added *before* the bios has been loaded and initialized. To
 	 *        reproduce this error, try adding a \c TimerListener as the initial step
 	 *        in your experiment code and wait for it (\c addListenerAndResume()).
+	 *        This leads to the consequence that timers cannot be added/enabled at
+	 *        boot time.
 	 */
 	static void onTimerTrigger(void *thisPtr);
 	/* ********************************************************************

src/core/sal/bochs/BochsListener.hpp

@@ -11,7 +11,9 @@ typedef GenericMemWriteListener MemWriteListener;
 /**
  * \class TimerListener
  * Concrete TimerListener implementation of GenericTimerListener for the Bochs
- * simulator backend.
+ * simulator backend. A (Fail)Bochs bug currently leads to the consequence that
+ * timers cannot be added/enabled at boot time (see BochsController.hpp for
+ * further details).
  */
 class TimerListener : public GenericTimerListener {
 private: