bugfix: Add BochsListener to CMakeLists, workaround for onTimerTrigger

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

src/core/sal/bochs/BochsController.hpp

@@ -64,6 +64,23 @@ public:
 	 * @param out true if the I/O traffic has been outbound, false otherwise
 	 */
 	void onIOPort(unsigned char data, unsigned port, bool out);
+	/**
+	 * Internal handler for TimerListeners. This method is called when a previously
+	 * registered (Bochs) timer triggers. It searches for the provided TimerListener
+	 * object within the ListenerManager and fires such an event by calling
+	 * \c triggerActiveListeners().
+	 * @param thisPtr a pointer to the TimerListener-object triggered
+	 * 
+	 * FIXME: Due to Bochs internal timer and ips-configuration related stuff,
+	 *        the simulator sometimes panics with "keyboard error:21" (see line
+	 *        1777 in bios/rombios.c, function keyboard_init()) if a TimerListener
+	 *        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.
+	 */
+	void onTimerTrigger(void *thisPtr);
 	/* ********************************************************************
 	 * Simulator Controller & Access API:
 	 * ********************************************************************/