First debug session: lot of fixes.
The core timer still does not raise an INT.