- serielle ausgabe ber den gdb bleibt irgendwann stehen

- manchmal kommt kein timer-irq (irq 8) mehr: es sieht so aus, als sei
  der RTC-irq nicht besttigt (und restartet) worden oder als htte
  jemand ausversehen fr uns den interrupt besttigt

- Accounting fuer CPU-Zeit fehlt, Threads haben keine eigenen
  Zeitscheiben (es gibt eine Zeitscheibenlaenge pro Thread die aber nach
  einem Schedule global gilt)
